Trace number 2656639

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.2 CardSAT160 1798 1798.51

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 benchmark16
Best CPU time to get the best result obtained on this benchmark1791.86
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656639-1276612768.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.002 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.005 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.01
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1080
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0    198       17     1482   87      903    2964      1      0 0.01
0.00/0.09	c      103    198      150    11825   78     1368    3261    134   2783 0.04
0.00/0.09	o 1065
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c      246    198      317    26117   82     1875    2964    301   2733 0.09
0.00/0.10	o 1040
0.10/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.11	c      300    198      378    29827   78     2108    2964    362   2777 0.11
0.10/0.11	o 877
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c      317    198      412    32370   78     2369    2964    396   2830 0.11
0.10/0.12	o 876
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      352    198      467    36758   78     2760    2964    451   2816 0.12
0.19/0.25	c      452    198      587    45724   77     3154    3261    571   2674 0.17
0.19/0.25	o 875
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c      635    198      822    67904   82     4221    2964    806   2529 0.25
0.39/0.48	c      737    198      957    79389   82     4564    3261    941   2481 0.30
0.39/0.48	c      987    198     1269   104359   82     5712    3588   1253   2366 0.42
0.39/0.48	o 873
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     1129    198     1468   122790   83     6545    2964   1452   2318 0.49
0.39/0.49	o 860
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     1135    198     1479   123717   83     6676    2964   1463   2311 0.49
0.49/0.51	o 830
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     1173    198     1525   126934   83     6960    2964   1509   2300 0.51
0.49/0.51	o 673
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     1176    198     1531   127453   83     7036    2964   1515   2296 0.51
0.49/0.53	o 644
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c     1231    198     1593   131218   82     7225    2964   1577   2305 0.53
0.69/0.71	c     1331    198     1718   139059   80     7729    3261   1702   2318 0.57
0.69/0.71	c     1581    198     1996   160695   80     8293    3588   1980   2291 0.69
0.69/0.71	o 591
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     1637    198     2064   164857   79     8626    2964   2048   2283 0.72
0.69/0.76	o 588
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c     1726    198     2170   172137   79     8972    2964   2154   2274 0.76
0.69/0.77	o 514
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c     1759    198     2213   175252   79     9301    2964   2197   2269 0.78
0.79/0.85	c     1860    198     2324   180987   77     9517    3261   2308   2262 0.82
0.79/0.85	o 512
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c     1929    198     2412   187351   77     9782    2964   2396   2250 0.86
0.99/1.01	c     2029    198     2525   193995   76    10131    3261   2509   2254 0.90
0.99/1.01	o 509
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c     2243    198     2784   213805   76    10769    2964   2768   2209 1.01
0.99/1.10	c     2343    198     2897   220234   76    11126    3261   2881   2191 1.07
0.99/1.10	o 458
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c     2398    198     2961   223689   75    11196    2964   2945   2181 1.10
1.09/1.15	o 386
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c     2481    198     1504   100891   67     4326    2964   1488   2155 1.15
1.09/1.18	o 363
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c     2562    198     1592   105643   66     4629    2964   1576   2158 1.19
1.09/1.19	o 359
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c     2564    198     1595   105906   66     4758    2964   1579   2156 1.19
1.49/1.56	c     2665    198     1723   115722   67     5152    3261   1707   2156 1.24
1.49/1.56	c     2918    198     2026   141421   69     6174    3588   2010   2134 1.37
1.49/1.56	o 357
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c     3359    198     2584   180547   69     7798    2964   2568   2150 1.56
1.79/1.81	c     3459    198     2693   186370   69     8070    3261   2677   2156 1.60
1.79/1.81	c     3709    198     2969   201051   67     8645    3588   2953   2170 1.71
1.79/1.81	o 355
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c     3923    198     3220   219182   68     9407    2964   3204   2166 1.81
1.99/2.03	c     4025    198     1603   107660   67     4397    3261   1587   2167 1.86
1.99/2.03	c     4277    198     1870   124326   66     4947    3588   1854   2194 1.95
1.99/2.03	o 352
2.30/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.30/2.32	c     4505    198     2129   140703   66     5780    2964   2113   2213 2.04
2.30/2.32	c     4605    198     2239   146380   65     6102    3261   2223   2223 2.07
2.30/2.32	c     4857    198     2534   163695   64     6877    3588   2518   2222 2.19
2.30/2.32	o 235
2.30/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.30/2.33	c     5189    198     2908   184093   63     8019    2964   2892   2234 2.32
2.30/2.33	o 215
2.30/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.30/2.33	c     5204    198     2928   185293   63     8185    2964   2912   2233 2.33
2.30/2.33	o 211
11.09/11.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.09/11.13	c     5209    198     2936   185900   63     8344    2964   2920   2232 2.33
11.09/11.13	c     5309    198     1499    91494   61     4587    3261   1483   2225 2.38
11.09/11.13	c     5561    198     1774   104985   59     5160    3588   1758   2240 2.48
11.09/11.13	c     6036    198     2342   140225   59     6367    3947   2326   2220 2.72
11.09/11.13	c     6849    198     3252   188173   57     8210    4342   3236   2195 3.12
11.09/11.13	c     8169    198     2570   144391   56     6126    4777   2554   2138 3.82
11.09/11.13	c    10250    198     2406   114784   47     5716    5255   2390   2124 4.82
11.09/11.13	c    13473    198     3308   171078   51     7546    5781   3292   2083 6.47
11.09/11.13	c    18409    198     2973   153622   51     6881    6360   2957   1973 9.33
11.09/11.13	o 198
13.39/13.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.39/13.42	c    21661    198     3347   179395   53     7908    2964   3331   1945 11.13
13.39/13.42	c    21761    198     1604    88202   54     4202    3261   1588   1944 11.19
13.39/13.42	c    22011    198     1889   102948   54     4791    3588   1873   1947 11.30
13.39/13.42	c    22486    198     2388   125243   52     5806    3947   2372   1956 11.49
13.39/13.42	c    23299    198     3321   178189   53     7741    4342   3305   1951 11.94
13.39/13.42	c    24619    198     2602   161262   61     6839    4777   2586   1947 12.64
13.39/13.42	o 192
13.59/13.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.59/13.66	c    26100    198     4286   256874   59    10803    2964   4270   1944 13.42
13.59/13.66	c    26200    198     1615    85890   53     4181    3261   1599   1945 13.47
13.59/13.66	c    26450    198     1900   102037   53     4804    3588   1884   1946 13.59
13.59/13.66	o 171
15.19/15.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.22	c    26646    198     2115   112338   53     5381    2964   2099   1951 13.66
15.19/15.22	c    26747    198     2245   123686   55     5922    3261   2229   1950 13.72
15.19/15.22	c    26997    198     2518   135288   53     6472    3588   2502   1955 13.80
15.19/15.22	c    27477    198     3068   163312   53     7591    3947   3052   1962 14.00
15.19/15.22	c    28290    198     1991   106589   53     4934    4342   1975   1964 14.40
15.19/15.22	c    29610    198     3460   181491   52     7917    4777   3444   1970 15.02
15.19/15.22	o 166
1330.51/1330.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1330.51/1330.92	c    29973    198     3893   207057   53     8987    2964   3877   1970 15.21
1330.51/1330.92	c    30074    198     1601    83662   52     4197    3261   1585   1969 15.27
1330.51/1330.92	c    30324    198     1883    98478   52     4760    3588   1867   1971 15.38
1330.51/1330.92	c    30799    198     2392   118721   49     5777    3947   2376   1979 15.56
1330.51/1330.92	c    31612    198     3292   160784   48     7592    4342   3276   1984 15.93
1330.51/1330.92	c    32933    198     2532   125615   49     5987    4777   2516   1985 16.58
1330.51/1330.92	c    35014    198     2406   120787   50     5697    5255   2390   1985 17.64
1330.51/1330.92	c    38237    198     3214   156703   48     7348    5781   3198   1996 19.15
1330.51/1330.92	c    43174    198     5525   245259   44    11955    6360   5509   2023 21.33
1330.51/1330.92	c    50680    198     4243   229018   53     9499    6997   4227   1993 25.42
1330.51/1330.92	c    62042    198     5990   303490   50    13025    7697   5974   1961 31.63
1330.51/1330.92	c    79186    198     5127   273394   53    11238    8467   5111   1895 41.77
1330.51/1330.92	c   105005    198     7426   363883   49    15801    9314   7410   1835 57.20
1330.51/1330.92	c   143837    198     7738   389519   50    16462   10246   7722   1751 82.12
1330.51/1330.92	c   202189    198     9834   529619   53    20734   11271   9818   1653 122.28
1330.51/1330.92	c   289821    198    10674   532947   49    22379   12399  10658   1565 185.10
1330.51/1330.92	c   421373    198     7206   373073   51    15455   13639   7190   1498 281.25
1330.51/1330.92	c   618805    198     7629   380436   49    16366   15003   7613   1400 441.85
1330.51/1330.92	c   915057    198     7519   425302   56    16129   16504   7503   1304 701.30
1330.51/1330.92	c  1359539    198    14787   678607   45    30743   18155  14771   1241 1095.36
1330.51/1330.92	o 160
1797.99/1798.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.50	c  1590862    198    16844   912544   54    35750    2964  16828   1195 1330.54
1797.99/1798.50	c  1590962    198     1599    83884   52     4147    3261   1583   1195 1331.20
1797.99/1798.50	c  1591213    198     1871    96153   51     4704    3588   1855   1195 1331.31
1797.99/1798.50	c  1591688    198     2406   120879   50     5794    3947   2390   1195 1331.52
1797.99/1798.50	c  1592501    198     3348   169602   50     7720    4342   3332   1195 1331.92
1797.99/1798.50	c  1593821    198     2572   124532   48     6156    4777   2556   1196 1332.53
1797.99/1798.50	c  1595902    198     2484   130404   52     5952    5255   2468   1196 1333.63
1797.99/1798.50	c  1599127    198     3463   169402   48     7863    5781   3447   1197 1335.21
1797.99/1798.50	c  1604064    198     3154   154726   49     7283    6360   3138   1199 1337.80
1797.99/1798.50	c  1611570    198     5288   286739   54    11669    6997   5272   1201 1341.76
1797.99/1798.50	c  1622931    198     4335   240508   55     9693    7697   4319   1203 1348.56
1797.99/1798.50	c  1640075    198     4576   256672   56    10208    8467   4560   1207 1358.33
1797.99/1798.50	c  1665895    198     8457   444149   52    17992    9314   8441   1212 1373.46
1797.99/1798.50	c  1704728    198     5592   280146   50    12189   10246   5576   1220 1397.30
1797.99/1798.50	c  1763081    198     8604   373210   43    18159   11271   8588   1231 1431.90
1797.99/1798.50	c  1850713    198     8745   373287   42    18405   12399   8729   1247 1483.60
1797.99/1798.50	c  1982265    198     7537   338638   44    16110   13639   7521   1261 1571.70
1797.99/1798.50	c  2179698    198     9767   546426   55    20668   15003   9751   1269 1716.39
1797.99/1798.50	c Resources Exceeded
1797.99/1798.50	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.99/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.50	c  104  2277952  94985  2400659    14370   795940  14354   1266 1798.00
1797.99/1798.50	c Objective: 160
1797.99/1798.50	s SATISFIABLE
1797.99/1798.50	c Total time: 1798 s

Verifier Data 

OK	160

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656639-1276612768/watcher-2656639-1276612768 -o /tmp/evaluation-result-2656639-1276612768/solver-2656639-1276612768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656639-1276612768.opb 

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 9838
/proc/meminfo: memFree=1510020/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=18604 CPUtime=0
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 2571899 19050496 251 1992294400 134512640 137138936 4288644736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 4651 251 192 642 0 4007 0

[startup+0.110315 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 9838
/proc/meminfo: memFree=1510020/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=11156 CPUtime=0.1
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 437 0 0 0 10 0 0 0 20 0 1 0 2571899 11423744 352 1992294400 134512640 137138936 4288644736 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 2789 352 192 642 0 2145 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11156

[startup+0.201325 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 9838
/proc/meminfo: memFree=1510020/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=11528 CPUtime=0.19
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 517 0 0 0 19 0 0 0 20 0 1 0 2571899 11804672 432 1992294400 134512640 137138936 4288644736 18446744073709551615 134603158 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 2882 432 192 642 0 2238 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11528

[startup+0.301337 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 9838
/proc/meminfo: memFree=1510020/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=11904 CPUtime=0.29
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 620 0 0 0 29 0 0 0 20 0 1 0 2571899 12189696 535 1992294400 134512640 137138936 4288644736 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 2976 535 192 642 0 2332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11904

[startup+0.701386 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 9838
/proc/meminfo: memFree=1510020/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=13164 CPUtime=0.69
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 922 0 0 0 69 0 0 0 21 0 1 0 2571899 13479936 837 1992294400 134512640 137138936 4288644736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3291 837 192 642 0 2647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13164

[startup+1.50049 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1506292/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=14156 CPUtime=1.49
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1172 0 0 0 148 1 0 0 22 0 1 0 2571899 14495744 1087 1992294400 134512640 137138936 4288644736 18446744073709551615 134600112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3539 1087 192 642 0 2895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14156

[startup+3.10068 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1505920/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=14156 CPUtime=3.09
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1173 0 0 0 308 1 0 0 25 0 1 0 2571899 14495744 1088 1992294400 134512640 137138936 4288644736 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3539 1088 192 642 0 2895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14156

[startup+6.30107 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1505424/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=14780 CPUtime=6.29
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1342 0 0 0 627 2 0 0 25 0 1 0 2571899 15134720 1257 1992294400 134512640 137138936 4288644736 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3695 1257 192 642 0 3051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14780

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1504060/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=15876 CPUtime=12.69
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1604 0 0 0 1264 5 0 0 25 0 1 0 2571899 16257024 1519 1992294400 134512640 137138936 4288644736 18446744073709551615 134618912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3969 1519 192 642 0 3325 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15876

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1503936/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=15872 CPUtime=25.48
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1604 0 0 0 2539 9 0 0 25 0 1 0 2571899 16252928 1519 1992294400 134512640 137138936 4288644736 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 3968 1519 192 642 0 3324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15872

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9841
/proc/meminfo: memFree=1502696/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=17332 CPUtime=51.08
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 1970 0 0 0 5093 15 0 0 25 0 1 0 2571899 17747968 1885 1992294400 134512640 137138936 4288644736 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 4333 1885 192 642 0 3689 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17332

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9843
/proc/meminfo: memFree=1500588/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=19280 CPUtime=102.27
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 2461 0 0 0 10199 28 0 0 25 0 1 0 2571899 19742720 2376 1992294400 134512640 137138936 4288644736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 4820 2376 192 642 0 4176 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19280

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9845
/proc/meminfo: memFree=1499100/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=20600 CPUtime=162.24
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 2799 0 0 0 16182 42 0 0 25 0 1 0 2571899 21094400 2714 1992294400 134512640 137138936 4288644736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5150 2714 192 642 0 4506 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20600

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9845
/proc/meminfo: memFree=1498480/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=21240 CPUtime=222.24
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 2955 0 0 0 22166 58 0 0 25 0 1 0 2571899 21749760 2870 1992294400 134512640 137138936 4288644736 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5310 2870 192 642 0 4666 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 21240

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9847
/proc/meminfo: memFree=1497984/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=21740 CPUtime=282.21
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3087 0 0 0 28148 73 0 0 25 0 1 0 2571899 22261760 3002 1992294400 134512640 137138936 4288644736 18446744073709551615 134550929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5435 3002 192 642 0 4791 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21740

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9849
/proc/meminfo: memFree=1497860/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=21744 CPUtime=342.2
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3088 0 0 0 34134 86 0 0 25 0 1 0 2571899 22265856 3003 1992294400 134512640 137138936 4288644736 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5436 3003 192 642 0 4792 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 21744

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9851
/proc/meminfo: memFree=1497860/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=21744 CPUtime=402.18
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3088 0 0 0 40118 100 0 0 25 0 1 0 2571899 22265856 3003 1992294400 134512640 137138936 4288644736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5436 3003 192 642 0 4792 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 21744

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9853
/proc/meminfo: memFree=1497364/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=22208 CPUtime=462.16
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3205 0 0 0 46101 115 0 0 25 0 1 0 2571899 22740992 3120 1992294400 134512640 137138936 4288644736 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5552 3120 192 642 0 4908 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 22208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9853
/proc/meminfo: memFree=1496000/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=23580 CPUtime=522.15
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3540 0 0 0 52086 129 0 0 25 0 1 0 2571899 24145920 3455 1992294400 134512640 137138936 4288644736 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5895 3455 192 642 0 5251 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 23580

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9855
/proc/meminfo: memFree=1495876/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=23576 CPUtime=582.14
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3540 0 0 0 58071 143 0 0 25 0 1 0 2571899 24141824 3455 1992294400 134512640 137138936 4288644736 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5894 3455 192 642 0 5250 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 23576

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9857
/proc/meminfo: memFree=1495752/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=23576 CPUtime=642.11
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3540 0 0 0 64056 155 0 0 25 0 1 0 2571899 24141824 3455 1992294400 134512640 137138936 4288644736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 5894 3455 192 642 0 5250 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 23576

[startup+702.302 s]

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

/proc/meminfo: memFree=1493768/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=24944 CPUtime=1121.98
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 3970 0 0 0 111929 269 0 0 25 0 1 0 2571899 25542656 3811 1992294400 134512640 137138936 4288644736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6236 3811 192 642 0 5592 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 24944

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9871
/proc/meminfo: memFree=1493644/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=25188 CPUtime=1181.97
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4026 0 0 0 117915 282 0 0 25 0 1 0 2571899 25792512 3867 1992294400 134512640 137138936 4288644736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6297 3867 192 642 0 5653 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 25188

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9873
/proc/meminfo: memFree=1493148/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=25608 CPUtime=1241.95
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4122 0 0 0 123900 295 0 0 25 0 1 0 2571899 26222592 3963 1992294400 134512640 137138936 4288644736 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6402 3963 192 642 0 5758 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 25608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9884
/proc/meminfo: memFree=1491412/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26180 CPUtime=1301.92
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 129885 307 0 0 25 0 1 0 2571899 26808320 4116 1992294400 134512640 137138936 4288644736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6545 4116 192 642 0 5901 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 26180

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9886
/proc/meminfo: memFree=1491536/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1361.91
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 135868 323 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134606841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 26084

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9886
/proc/meminfo: memFree=1491536/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1421.89
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 141849 340 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 26084

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9888
/proc/meminfo: memFree=1491536/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1481.87
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 147830 357 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 26084

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9890
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1541.87
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 153814 373 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 26084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9892
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1601.84
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 159794 390 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 26084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9894
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1661.82
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 165778 404 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 26084

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9894
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1721.8
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 171759 421 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 26084

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1781.79
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 177743 436 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 26084

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1791.49
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 178711 438 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 26084

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1794.69
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 179030 439 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 26084

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1796.28
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 179189 439 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (KiB) 26084

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1797.08
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 179269 439 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (KiB) 26084

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1797.48
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 179309 439 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134618497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 26084

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=26084 CPUtime=1797.89
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202496 4275 0 0 0 179349 440 0 0 25 0 1 0 2571899 26710016 4096 1992294400 134512640 137138936 4288644736 18446744073709551615 134601170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9838/statm: 6521 4096 192 642 0 5877 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 26084

[startup+1798.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9896
/proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956
[pid=9838] ppid=9836 vsize=0 CPUtime=1797.99
/proc/9838/stat : 9838 (bsolo_pb10) R 9836 9838 9316 0 -1 4202500 4276 0 0 0 179359 440 0 0 25 0 1 0 2571899 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/9838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798
CPU user time (s): 1793.6
CPU system time (s): 4.40533
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 26180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.6
system time used= 4.40533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4276
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= 1
involuntary context switches= 3217

runsolver used 3.15352 second user time and 8.30474 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-15 16:39:28
IDJOB=2656639
IDBENCH=2912
IDSOLVER=1162
FILE ID=node033/2656639-1276612768
PBS_JOBID= 11172258
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1341647694

node033.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1510424 kB
Buffers:         76100 kB
Cached:         345436 kB
SwapCached:          0 kB
Active:         192804 kB
Inactive:       288428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1510424 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3888 kB
Writeback:          12 kB
AnonPages:       59660 kB
Mapped:          15388 kB
Slab:            45624 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62588 MiB
End job on node033 at 2010-06-15 17:09:26