Trace number 3734927

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
PB09: bsolo 3.1SAT75 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1792.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
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 constraint85
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 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734927-1338717956.opb
0.00/0.00	c File size is 13239 bytes.
0.00/0.00	c Highest Coefficient sum: 6162
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392
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     1364   85      398    2728      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1039
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1492   87      919    2984      1      0 0.00
0.00/0.02	c      100    198      120    10271   85     1162    3283    104   4545 0.02
0.00/0.02	o 872
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      101    198      122    10463   85     1255    2984    106   4391 0.02
0.00/0.02	o 792
0.05/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.05	c      101    198      123    10591   86     1354    2984    107   4391 0.02
0.05/0.05	c      202    198      229    19981   87     1614    3283    213   4809 0.04
0.05/0.05	o 786
0.05/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.07	c      278    198      310    25642   82     1942    2984    294   4964 0.06
0.05/0.07	o 776
0.05/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.07	c      366    198      400    32346   80     2248    2984    384   4880 0.07
0.05/0.07	o 757
0.05/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.07	c      373    198      408    32941   80     2340    2984    392   4844 0.08
0.05/0.07	o 755
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      379    198      415    33560   80     2469    2984    399   4858 0.08
0.05/0.09	o 733
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      440    198      479    38491   80     2726    2984    463   4835 0.09
0.09/0.11	c      540    198      583    45030   77     3014    3283    567   4778 0.11
0.09/0.11	o 380
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      540    198      584    45158   77     2993    2984    568   4736 0.11
0.09/0.11	o 378
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      542    198      587    45454   77     3103    2984    571   4754 0.11
0.09/0.12	o 376
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      574    198      620    48478   78     3138    2984    604   4704 0.12
0.09/0.13	o 297
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c      635    198      683    51061   74     3297    2984    667   4774 0.13
1.69/1.75	c      735    198      786    56653   72     3563    3283    770   4835 0.15
1.69/1.75	c      987    198     1041    69945   67     4059    3612   1025   4959 0.20
1.69/1.75	c     1462    198     1529    96248   62     5154    3974   1513   5184 0.28
1.69/1.75	c     2276    198     2347   142115   60     6822    4372   2331   5002 0.46
1.69/1.75	c     3596    198     3674   209200   56     9472    4810   3658   4859 0.74
1.69/1.75	c     5677    198     3340   183768   55     7679    5292   3324   4581 1.24
1.69/1.75	o 295
2.09/2.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.13	c     7576    198     5270   305532   57    11912    2984   5254   4334 1.75
2.09/2.13	c     7676    198     1611   101805   63     4228    3283   1595   4322 1.78
2.09/2.13	c     7927    198     1868   116985   62     4766    3612   1852   4360 1.82
2.09/2.13	c     8403    198     2355   144668   61     5855    3974   2339   4390 1.91
2.09/2.13	c     9216    198     3185   188159   59     7654    4372   3169   4445 2.07
2.09/2.13	o 288
2.09/2.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.19	c     9475    198     3449   203955   59     8347    2984   3433   4435 2.14
2.09/2.19	c     9575    198     1610    89212   55     4172    3283   1594   4434 2.16
2.09/2.19	o 286
2.19/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.23	c     9706    198     1749    97712   55     4622    2984   1733   4431 2.19
2.19/2.23	c     9806    198     1851   103063   55     4830    3283   1835   4435 2.21
2.19/2.23	o 284
2.19/2.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.28	c     9912    198     1970   109802   55     5265    2984   1954   4434 2.23
2.19/2.28	c    10012    198     2071   114863   55     5472    3283   2055   4432 2.26
2.19/2.28	o 282
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c    10106    198     2178   122916   56     5854    2984   2162   4430 2.28
2.19/2.29	o 235
2.58/2.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.65	c    10188    198     2261   126262   55     6129    2984   2245   4439 2.29
2.58/2.65	c    10291    198     2365   131434   55     6355    3283   2349   4443 2.32
2.58/2.65	c    10541    198     2618   143057   54     6873    3612   2602   4460 2.36
2.58/2.65	c    11016    198     3102   168004   54     7865    3974   3086   4468 2.46
2.58/2.65	c    11829    198     3928   207262   52     9539    4372   3912   4475 2.64
2.58/2.65	o 210
2.58/2.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.65	c    11846    198     3947   208248   52     9680    2984   3931   4471 2.65
2.58/2.65	o 206
3.08/3.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.18	c    11861    198     1525    75986   49     4077    2984   1509   4464 2.66
3.08/3.18	c    11961    198     1629    82767   50     4283    3283   1613   4466 2.68
3.08/3.18	c    12211    198     1886    96617   51     4825    3612   1870   4466 2.73
3.08/3.18	c    12686    198     2371   121320   51     5834    3974   2355   4481 2.83
3.08/3.18	c    13499    198     3201   162763   50     7481    4372   3185   4504 3.00
3.08/3.18	o 205
3.19/3.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.21	c    14347    198     4071   211027   51     9433    2984   4055   4505 3.18
3.19/3.21	c    14447    198     1609    85275   52     4195    3283   1593   4502 3.21
3.19/3.21	o 195
3.19/3.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.22	c    14459    198     1622    86063   53     4321    2984   1606   4501 3.21
3.19/3.22	o 185
3.19/3.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.23	c    14507    198     1674    89014   53     4563    2984   1658   4501 3.22
3.19/3.23	o 179
3.19/3.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.24	c    14540    198     1708    90739   53     4752    2984   1692   4501 3.23
3.19/3.24	o 177
16.59/16.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.59/16.63	c    14576    198     1745    93277   53     4952    2984   1729   4501 3.24
16.59/16.63	c    14676    198     1846    98641   53     5156    3283   1830   4505 3.26
16.59/16.63	c    14926    198     2097   108841   51     5657    3612   2081   4527 3.30
16.59/16.63	c    15401    198     2576   131428   51     6614    3974   2560   4531 3.40
16.59/16.63	c    16214    198     3395   170384   50     8262    4372   3379   4543 3.57
16.59/16.63	c    17534    198     2498   128690   51     6124    4810   2482   4526 3.87
16.59/16.63	c    19615    198     4619   244159   52    10453    5292   4603   4477 4.38
16.59/16.63	c    22838    198     5215   258361   49    11490    5822   5199   4490 5.09
16.59/16.63	c    27774    198     4261   219044   51     9426    6405   4245   4389 6.33
16.59/16.63	c    35282    198     5307   272138   51    11583    7046   5291   4330 8.15
16.59/16.63	c    46643    198     6082   295846   48    13070    7751   6066   4196 11.11
16.59/16.63	c    63787    198     7710   386096   50    16326    8527   7694   4100 15.56
16.59/16.63	o 158
17.78/17.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.78/17.88	c    67760    198     7414   413003   55    16379    2984   7398   4075 16.62
17.78/17.88	c    67860    198     1609   101954   63     4265    3283   1593   4071 16.67
17.78/17.88	c    68110    198     1861   114512   61     4766    3612   1845   4072 16.72
17.78/17.88	c    68585    198     2341   135907   58     5726    3974   2325   4079 16.81
17.78/17.88	c    69398    198     3168   173285   54     7377    4372   3152   4092 16.96
17.78/17.88	c    70722    198     2233   105597   47     5381    4810   2217   4100 17.25
17.78/17.88	c    72803    198     4353   204668   47     9663    5292   4337   4124 17.65
17.78/17.88	o 157
17.88/17.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.92	c    73749    198     2663   135040   50     6443    2984   2647   4123 17.88
17.88/17.92	c    73849    198     2764   139662   50     6651    3283   2748   4124 17.91
17.88/17.92	o 155
20.29/20.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.29/20.35	c    73919    198     2840   144893   51     6946    2984   2824   4124 17.92
20.29/20.35	c    74020    198     2942   148888   50     7145    3283   2926   4126 17.94
20.29/20.35	c    74270    198     3218   161298   50     7693    3612   3202   4131 17.98
20.29/20.35	c    74745    198     1863    92801   49     4644    3974   1847   4140 18.05
20.29/20.35	c    75558    198     2677   129247   48     6274    4372   2661   4153 18.19
20.29/20.35	c    76878    198     4005   195059   48     8931    4810   3989   4169 18.44
20.29/20.35	c    78959    198     3610   184763   51     8117    5292   3594   4172 18.92
20.29/20.35	c    82182    198     4130   201466   48     9188    5822   4114   4192 19.60
20.29/20.35	o 90
20.29/20.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.29/20.36	c    85507    198     4512   226671   50    10298    2984   4496   4202 20.35
20.29/20.36	o 86
166.96/167.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.96/167.06	c    85509    197     1512    83001   54     4240    2982   1496   4200 20.36
166.96/167.06	c    85609    194     1612    88936   55     4425    3281   1596   4201 20.37
166.96/167.06	c    85859    190     1864   100283   53     4929    3610   1848   4205 20.42
166.96/167.06	c    86334    190     2340   118954   50     5876    3972   2324   4211 20.50
166.96/167.06	c    87147    189     3156   152844   48     7508    4370   3140   4218 20.66
166.96/167.06	c    88467    189     2236    91519   40     5358    4808   2220   4227 20.93
166.96/167.06	c    90548    188     4328   179964   41     9539    5289   4312   4248 21.32
166.96/167.06	c    93771    188     4891   204064   41    10658    5818   4875   4277 21.92
166.96/167.06	c    98707    188     3947   165355   41     8798    6400   3931   4309 22.91
166.96/167.06	c   106213    188     4994   214712   42    10872    7041   4978   4364 24.34
166.96/167.06	c   117574    185     5675   239891   42    12237    7746   5659   4414 26.64
166.96/167.06	c   134718    185     7323   330546   45    15534    8521   7307   4405 30.58
166.96/167.06	c   160537    184     7598   327926   43    16081    9374   7582   4416 36.35
166.96/167.06	c   199369    184     9061   405690   44    19002   10312   9045   4433 44.97
166.96/167.06	c   257721    184     5669   248003   43    12220   11344   5653   4377 58.88
166.96/167.06	c   345354    184     8735   454181   51    18356   12479   8719   4213 81.95
166.96/167.06	c   476906    183     9195   418415   45    19282   13727   9179   4070 117.17
166.96/167.06	o 81
166.96/167.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.96/167.08	c   673084    182     7151   320302   44    15300    2952   7135   4029 167.03
166.96/167.08	o 77
166.96/167.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.96/167.09	c   673096    182     1522    62938   41     4014    2952   1506   4029 167.05
166.96/167.09	o 75
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c   673192    182     1620    70426   43     4320    2952   1604   4029 167.07
1797.91/1798.28	c   673292    182     1723    76713   44     4547    3248   1707   4029 167.09
1797.91/1798.28	c   673542    182     1974    88436   44     5046    3573   1958   4029 167.14
1797.91/1798.28	c   674017    182     2449   110741   45     6002    3931   2433   4030 167.22
1797.91/1798.28	c   674830    182     3262   149312   45     7622    4325   3246   4031 167.38
1797.91/1798.28	c   676150    182     2369   112284   47     5600    4758   2353   4032 167.66
1797.91/1798.28	c   678231    182     4451   207012   46     9771    5234   4435   4035 168.06
1797.91/1798.28	c   681454    182     5008   230153   45    10879    5758   4992   4039 168.72
1797.91/1798.28	c   686391    182     4096   188494   46     9041    6334   4080   4044 169.71
1797.91/1798.28	c   693897    182     5167   234054   45    11199    6968   5151   4052 171.22
1797.91/1798.28	c   705259    182     5925   255109   43    12714    7665   5909   4063 173.54
1797.91/1798.28	c   722403    182     7557   337179   44    15974    8432   7541   4080 177.04
1797.91/1798.28	c   748222    182     7780   362811   46    16416    9276   7764   4094 182.72
1797.91/1798.28	c   787055    182     9158   410657   44    19170   10204   9142   4114 191.28
1797.91/1798.28	c   845407    182     5750   255240   44    12348   11225   5734   4142 204.07
1797.91/1798.28	c   933040    182     8517   375873   44    17893   12348   8501   4173 223.56
1797.91/1798.28	c  1064593    182     9585   452645   47    20028   13583   9569   4177 254.87
1797.91/1798.28	c  1262025    182     8840   363382   41    18549   14942   8824   4197 300.69
1797.91/1798.28	c  1558277    182    12122   602939   49    25112   16437  12106   4108 379.31
1797.91/1798.28	c  2002759    182    10954   495318   45    22773   18081  10938   4047 494.79
1797.91/1798.28	c  2669586    182    15216   679845   44    31299   19890  15200   3895 685.37
1797.91/1798.28	c  3669931    182    17366   797695   45    35598   21880  17350   3718 986.88
1797.91/1798.28	c  5170553    182    16276   711797   43    33417   24069  16260   3555 1454.21
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 -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 -x176 -x177 -x178 x179 x180 x181 x182 -x183 -x184 -x185 -x186 x187 x188 -x189 x190 x191 -x192 x193 x194 -x195 -x196 -x197 x198 x143 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c  121  6274796 204498  6517815    17306   801665  17290   3489 1798.00
1797.91/1798.28	c Objective: 75
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data

OK	75

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-3734927-1338717956/watcher-3734927-1338717956 -o /tmp/evaluation-result-3734927-1338717956/solver-3734927-1338717956 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734927-1338717956.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.30 2.11 1.96 3/176 1153
/proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=18604 CPUtime=0 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 304 0 0 0 0 0 0 0 20 0 1 0 337921101 19050496 254 33554432000 134512640 137136520 4290691232 4290689512 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 4651 254 196 641 0 4007 0

[startup+0.052503 s]
/proc/loadavg: 2.30 2.11 1.96 3/176 1153
/proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=11036 CPUtime=0.05 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 381 0 0 0 5 0 0 0 20 0 1 0 337921101 11300864 331 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 2759 331 197 641 0 2115 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11036

[startup+0.100259 s]
/proc/loadavg: 2.30 2.11 1.96 3/176 1153
/proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=11276 CPUtime=0.09 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 447 0 0 0 9 0 0 0 20 0 1 0 337921101 11546624 397 33554432000 134512640 137136520 4290691232 4290689904 134617004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 2819 397 197 641 0 2175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11276

[startup+0.300222 s]
/proc/loadavg: 2.30 2.11 1.96 3/176 1153
/proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=12256 CPUtime=0.29 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 671 0 0 0 29 0 0 0 20 0 1 0 337921101 12550144 621 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 3064 621 197 641 0 2420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12256

[startup+0.700219 s]
/proc/loadavg: 2.30 2.11 1.96 3/176 1153
/proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=13740 CPUtime=0.69 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1043 0 0 0 69 0 0 0 20 0 1 0 337921101 14069760 993 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 3435 993 197 641 0 2791 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13740

[startup+1.50016 s]
/proc/loadavg: 2.30 2.11 1.96 3/177 1154
/proc/meminfo: memFree=27253036/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=14836 CPUtime=1.49 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 337921101 15192064 1272 33554432000 134512640 137136520 4290691232 4290689900 136295552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 3709 1272 197 641 0 3065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14836

[startup+3.10022 s]
/proc/loadavg: 2.30 2.11 1.96 3/177 1154
/proc/meminfo: memFree=27251888/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=15320 CPUtime=3.08 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1432 0 0 0 308 0 0 0 20 0 1 0 337921101 15687680 1382 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 3830 1382 197 641 0 3186 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15320

[startup+6.30023 s]
/proc/loadavg: 2.28 2.10 1.96 3/177 1154
/proc/meminfo: memFree=27253936/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=15320 CPUtime=6.29 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1432 0 0 0 628 1 0 0 20 0 1 0 337921101 15687680 1382 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 3830 1382 197 641 0 3186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15320

[startup+12.7002 s]
/proc/loadavg: 2.26 2.10 1.96 3/177 1154
/proc/meminfo: memFree=27252092/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=16544 CPUtime=12.69 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1757 0 0 0 1266 3 0 0 20 0 1 0 337921101 16941056 1707 33554432000 134512640 137136520 4290691232 4290690160 134543834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 4136 1707 197 641 0 3492 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16544

[startup+25.5002 s]
/proc/loadavg: 2.27 2.11 1.97 3/177 1154
/proc/meminfo: memFree=27251732/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=17280 CPUtime=25.48 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1940 0 0 0 2541 7 0 0 20 0 1 0 337921101 17694720 1888 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 4320 1888 197 641 0 3676 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17280

[startup+51.1002 s]
/proc/loadavg: 2.18 2.10 1.97 3/177 1154
/proc/meminfo: memFree=27250676/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=18632 CPUtime=51.08 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 2283 0 0 0 5093 15 0 0 20 0 1 0 337921101 19079168 2230 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 4658 2230 197 641 0 4014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18632

[startup+102.307 s]
/proc/loadavg: 2.17 2.12 1.98 3/177 1154
/proc/meminfo: memFree=27247636/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=21840 CPUtime=102.28 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3075 0 0 0 10201 27 0 0 20 0 1 0 337921101 22364160 3021 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5460 3021 197 641 0 4816 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 21840

[startup+162.3 s]
/proc/loadavg: 2.06 2.09 1.98 3/177 1154
/proc/meminfo: memFree=27247324/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=21556 CPUtime=162.26 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 16183 43 0 0 20 0 1 0 337921101 22073344 2968 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5389 2968 197 641 0 4745 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21556

[startup+222.3 s]
/proc/loadavg: 2.02 2.07 1.98 3/177 1202
/proc/meminfo: memFree=27256884/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=21524 CPUtime=222.25 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 22167 58 0 0 20 0 1 0 337921101 22040576 2960 33554432000 134512640 137136520 4290691232 4290690160 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5381 2960 197 641 0 4737 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 21524

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 1.98 3/178 1206
/proc/meminfo: memFree=27254020/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=21524 CPUtime=282.24 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 28150 74 0 0 20 0 1 0 337921101 22040576 2960 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5381 2960 197 641 0 4737 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 21524

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 1.98 3/177 1206
/proc/meminfo: memFree=27252848/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=21992 CPUtime=342.24 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3178 0 0 0 34133 91 0 0 20 0 1 0 337921101 22519808 3061 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5498 3061 197 641 0 4854 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 21992

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/177 1206
/proc/meminfo: memFree=27250864/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=22812 CPUtime=402.22 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3392 0 0 0 40118 104 0 0 20 0 1 0 337921101 23359488 3275 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5703 3275 197 641 0 5059 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 22812

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/177 1206
/proc/meminfo: memFree=27250988/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=22812 CPUtime=462.21 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3392 0 0 0 46103 118 0 0 20 0 1 0 337921101 23359488 3275 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5703 3275 197 641 0 5059 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 22812

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 1206
/proc/meminfo: memFree=27250304/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=23904 CPUtime=522.2 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3662 0 0 0 52086 134 0 0 20 0 1 0 337921101 24477696 3544 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 5976 3544 197 641 0 5332 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23904

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 1207
/proc/meminfo: memFree=27249808/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=24272 CPUtime=582.19 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3751 0 0 0 58072 147 0 0 20 0 1 0 337921101 24854528 3633 33554432000 134512640 137136520 4290691232 4290690128 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6068 3633 197 641 0 5424 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 24272

[startup+642.3 s]

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

/proc/meminfo: memFree=27244720/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=27072 CPUtime=1122.11 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 111943 268 0 0 20 0 1 0 337921101 27721728 4337 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6768 4337 197 641 0 6124 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 27072

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 1213
/proc/meminfo: memFree=27244224/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=27024 CPUtime=1182.1 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 117930 280 0 0 20 0 1 0 337921101 27672576 4335 33554432000 134512640 137136520 4290691232 4290689168 134572143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6756 4335 197 641 0 6112 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 27024

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1213
/proc/meminfo: memFree=27243540/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=27020 CPUtime=1242.1 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 123919 291 0 0 20 0 1 0 337921101 27668480 4334 33554432000 134512640 137136520 4290691232 4290689912 136502025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6755 4334 197 641 0 6111 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 27020

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1213
/proc/meminfo: memFree=27243540/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=26916 CPUtime=1302.09 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 129906 303 0 0 20 0 1 0 337921101 27561984 4308 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6729 4308 197 641 0 6085 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 26916

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1213
/proc/meminfo: memFree=27244184/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=27064 CPUtime=1362.07 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4526 0 0 0 135892 315 0 0 20 0 1 0 337921101 27713536 4334 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6766 4334 197 641 0 6122 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 27064

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1214
/proc/meminfo: memFree=27242996/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=27456 CPUtime=1422.07 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4626 0 0 0 141879 328 0 0 20 0 1 0 337921101 28114944 4433 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 6864 4433 197 641 0 6220 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 27456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1218
/proc/meminfo: memFree=27241376/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28216 CPUtime=1482.06 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4826 0 0 0 147864 342 0 0 20 0 1 0 337921101 28893184 4633 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7054 4633 197 641 0 6410 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 28216

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1218
/proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28444 CPUtime=1542.05 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4918 0 0 0 153849 356 0 0 20 0 1 0 337921101 29126656 4690 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7111 4690 197 641 0 6467 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 28444

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1218
/proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28368 CPUtime=1602.03 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4951 0 0 0 159835 368 0 0 20 0 1 0 337921101 29048832 4671 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7092 4671 197 641 0 6448 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 28368

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1218
/proc/meminfo: memFree=27241012/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28776 CPUtime=1662.03 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 165821 382 0 0 20 0 1 0 337921101 29466624 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7194 4765 197 641 0 6550 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 28776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1218
/proc/meminfo: memFree=27241136/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28752 CPUtime=1722.02 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 171806 396 0 0 20 0 1 0 337921101 29442048 4765 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7188 4765 197 641 0 6544 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 28752

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1218
/proc/meminfo: memFree=27240772/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1782.01 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 177792 409 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 28744

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1791.61 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 178750 411 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 28744

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1794.82 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179070 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 28744

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1796.41 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179229 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 28744

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1797.2 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179308 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 28744

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1797.61 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179348 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 28744

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1797.81 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179368 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 28744

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1219
/proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384
[pid=1153] ppid=1151 vsize=28744 CPUtime=1797.91 cores=1,3,5,7
/proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179378 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1153/statm: 7186 4765 197 641 0 6542 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 28744

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.87
system time used= 4.13037
maximum resident set size= 19064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5047
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= 9
involuntary context switches= 1866

runsolver used 2.57761 second user time and 7.2499 second system time

The end

Launcher Data

Begin job on node136 at 2012-06-03 12:05:56
IDJOB=3734927
IDBENCH=2920
IDSOLVER=2320
FILE ID=node136/3734927-1338717956
RUNJOBID= node136-1338714359-814
PBS_JOBID= 14636754
Free space on /tmp= 69816 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734927-1338717956/watcher-3734927-1338717956 -o /tmp/evaluation-result-3734927-1338717956/solver-3734927-1338717956 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734927-1338717956.opb

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=1041877234

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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	: 5331.94
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		: 2667.247
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.90
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		: 2667.247
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		: 2667.247
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.90
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		: 2667.247
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		: 2667.247
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:        27257756 kB
Buffers:         1255680 kB
Cached:          3422532 kB
SwapCached:        20316 kB
Active:          2694504 kB
Inactive:        2028440 kB
Active(anon):      17244 kB
Inactive(anon):    22312 kB
Active(file):    2677260 kB
Inactive(file):  2006128 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:         43724 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             751828 kB
SReclaimable:     192936 kB
SUnreclaim:       558892 kB
KernelStack:        1472 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734927-1338717956.opb

Free space on /tmp at the end= 69812 MiB
End job on node136 at 2012-06-03 12:35:55