Trace number 2657566

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 ClSAT99 1798 1798.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1793.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
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 constraint84
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657566-1276601030.opb
0.00/0.00	c File size is 13265 bytes.
0.00/0.00	c Highest Coefficient sum: 6154
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: 1368 Watch. Lit: 396
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     1368   85      400    2736      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1434
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     1496   88      894    2992      1      0 0.01
0.00/0.02	c      101    198      118    10773   91     1099    3292    102   4590 0.02
0.00/0.02	o 1219
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      104    198      122    11146   91     1205    2992    106   4727 0.02
0.00/0.02	o 1218
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      120    198      139    12387   89     1324    2992    123   5000 0.02
0.00/0.03	o 1007
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      144    198      164    13972   85     1455    2992    148   5142 0.03
0.00/0.03	o 1005
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      156    198      177    14958   84     1574    2992    161   5200 0.03
0.00/0.03	o 836
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      156    198      178    15086   84     1623    2992    162   5032 0.03
0.00/0.03	o 832
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      156    198      179    15214   84     1739    2992    163   5032 0.03
0.00/0.03	o 812
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      160    198      184    15826   86     1848    2992    168   5000 0.03
0.00/0.03	o 804
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      179    198      204    17093   83     1950    2992    188   4972 0.04
0.00/0.03	o 781
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      179    198      205    17221   84     2021    2992    189   4837 0.04
0.00/0.04	o 777
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      183    198      210    17710   84     2134    2992    194   4815 0.04
0.00/0.04	o 772
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      185    198      213    17984   84     2205    2992    197   4743 0.04
0.00/0.04	o 768
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      189    198      218    18287   83     2308    2992    202   4609 0.04
0.00/0.04	o 746
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      193    198      223    18609   83     2455    2992    207   4488 0.04
0.00/0.04	o 740
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      193    198      224    18737   83     2459    2992    208   4488 0.04
0.00/0.04	o 708
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      196    198      228    19181   84     2554    2992    212   4355 0.04
0.00/0.05	o 678
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      226    198      259    21547   83     2849    2992    243   4431 0.05
0.06/0.09	c      326    198      359    28278   78     3087    3292    343   4657 0.07
0.06/0.09	o 371
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c      407    198      441    36199   82     3110    2992    425   4625 0.09
0.29/0.34	c      507    198      541    41024   75     3215    3292    525   4970 0.10
0.29/0.34	c      757    198      791    56754   71     3612    3622    775   5368 0.14
0.29/0.34	c     1232    198     1266    92075   72     4355    3985   1250   5475 0.23
0.29/0.34	o 366
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1870    198     1905   141179   74     5608    2992   1889   5483 0.34
0.29/0.38	c     1970    198     2005   146256   72     5851    3292   1989   5502 0.36
0.29/0.38	o 358
5.59/5.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.61	c     2109    198     2145   153494   71     6241    2992   2129   5477 0.39
5.59/5.61	c     2210    198     2246   159873   71     6471    3292   2230   5456 0.41
5.59/5.61	c     2461    198     2497   174339   69     6915    3622   2481   5468 0.45
5.59/5.61	c     2936    198     2972   199079   66     7940    3985   2956   5377 0.55
5.59/5.61	c     3750    198     3786   249458   65     9584    4384   3770   5165 0.73
5.59/5.61	c     5070    198     2850   160120   56     6721    4823   2834   5157 0.98
5.59/5.61	c     7152    198     2452   122606   50     5793    5306   2436   4939 1.45
5.59/5.61	c    10375    198     2961   164843   55     6812    5837   2945   4534 2.29
5.59/5.61	c    15312    198     4908   308195   62    10720    6421   4892   4238 3.61
5.59/5.61	o 327
12.18/12.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.18/12.27	c    22390    198     5460   312904   57    11944    2992   5444   3989 5.61
12.18/12.27	c    22491    198     1614   101876   63     4125    3292   1598   3970 5.66
12.18/12.27	c    22741    198     1864   116181   62     4629    3622   1848   3984 5.71
12.18/12.27	c    23217    198     2340   142324   60     5581    3985   2324   4007 5.79
12.18/12.27	c    24030    198     3153   184849   58     7199    4384   3137   4042 5.94
12.18/12.27	c    25350    198     2243   118359   52     5388    4823   2227   4058 6.25
12.18/12.27	c    27431    198     4324   221574   51     9541    5306   4308   4080 6.72
12.18/12.27	c    30654    198     4837   257666   53    10580    5837   4821   4081 7.51
12.18/12.27	c    35590    198     3791   196668   51     8495    6421   3775   3994 8.91
12.18/12.27	c    43096    198     4744   238080   50    10386    7064   4728   3959 10.88
12.18/12.27	o 322
17.19/17.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.19/17.27	c    47272    198     5301   291030   54    11631    2992   5285   3853 12.27
17.19/17.27	c    47373    198     1614    94495   58     4126    3292   1598   3845 12.32
17.19/17.27	c    47626    198     1867   109785   58     4628    3622   1851   3852 12.36
17.19/17.27	c    48101    198     2342   135550   57     5568    3985   2326   3862 12.45
17.19/17.27	c    48914    198     3155   181036   57     7192    4384   3139   3878 12.61
17.19/17.27	c    50234    198     2219   129934   58     5333    4823   2203   3892 12.90
17.19/17.27	c    52315    198     4300   239928   55     9495    5306   4284   3908 13.38
17.19/17.27	c    55539    198     4817   272916   56    10524    5837   4801   3909 14.21
17.19/17.27	c    60475    198     3773   194676   51     8443    6421   3757   3924 15.41
17.19/17.27	o 318
17.39/17.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.39/17.47	c    66425    198     3228   211092   65     7349    2992   3212   3840 17.30
17.39/17.47	c    66526    198     1614   102840   63     4133    3292   1598   3838 17.33
17.39/17.47	c    66776    198     1864   116923   62     4623    3622   1848   3841 17.38
17.39/17.47	o 316
17.59/17.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.62	c    67137    198     2226   138878   62     5466    2992   2210   3844 17.46
17.59/17.62	c    67240    198     2329   143792   61     5666    3292   2313   3845 17.48
17.59/17.62	c    67490    198     2579   158848   61     6165    3622   2563   3848 17.54
17.59/17.62	o 291
17.59/17.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.62	c    67897    198     2987   178131   59     7117    2992   2971   3854 17.62
17.59/17.62	o 283
17.59/17.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.63	c    67901    198     2992   178528   59     7252    2992   2976   3853 17.62
17.59/17.63	o 281
17.59/17.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.64	c    67921    198     1513    83063   54     3921    2992   1497   3852 17.63
17.59/17.64	o 279
17.59/17.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.68	c    67970    198     1563    86916   55     4144    2992   1547   3852 17.64
17.59/17.68	c    68072    198     1665    92628   55     4342    3292   1649   3854 17.66
17.59/17.68	o 277
17.69/17.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.69/17.73	c    68203    198     1797    99044   55     4739    2992   1781   3856 17.68
17.69/17.73	c    68307    198     1901   105710   55     4951    3292   1885   3858 17.70
17.69/17.73	o 275
17.69/17.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.69/17.74	c    68395    198     1990   109775   55     5249    2992   1974   3858 17.72
17.69/17.74	o 271
19.39/19.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.39/19.43	c    68486    198     2082   116232   55     5526    2992   2066   3860 17.74
19.39/19.43	c    68587    198     2183   120067   55     5763    3292   2167   3861 17.76
19.39/19.43	c    68837    198     2433   134545   55     6233    3622   2417   3865 17.81
19.39/19.43	c    69316    198     2912   158038   54     7195    3985   2896   3871 17.91
19.39/19.43	c    70129    198     3725   198447   53     8848    4384   3709   3877 18.09
19.39/19.43	c    71450    198     2788   153851   55     6465    4823   2772   3876 18.43
19.39/19.43	c    73532    198     2429   139367   57     5755    5306   2413   3866 19.02
19.39/19.43	o 269
19.39/19.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.39/19.48	c    75385    198     4283   246944   57     9592    2992   4267   3880 19.43
19.39/19.48	c    75486    198     1614    97537   60     4132    3292   1598   3878 19.46
19.39/19.48	o 267
20.68/20.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.68/20.78	c    75545    198     1674   100763   60     4373    2992   1658   3878 19.48
20.68/20.78	c    75645    198     1774   105065   59     4573    3292   1758   3879 19.50
20.68/20.78	c    75895    198     2024   119230   58     5061    3622   2008   3882 19.55
20.68/20.78	c    76370    198     2499   141608   56     6024    3985   2483   3885 19.65
20.68/20.78	c    77183    198     3312   185636   56     7651    4384   3296   3889 19.84
20.68/20.78	c    78504    198     2387   125336   52     5673    4823   2371   3891 20.17
20.68/20.78	c    80586    198     4469   238113   53     9833    5306   4453   3903 20.65
20.68/20.78	o 265
20.89/20.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.89/20.91	c    81185    198     5069   268285   52    11158    2992   5053   3907 20.78
20.89/20.91	c    81285    198     1613    87036   53     4127    3292   1597   3903 20.83
20.89/20.91	c    81535    198     1863   103024   55     4625    3622   1847   3906 20.87
20.89/20.91	o 264
20.89/20.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.89/20.91	c    81716    198     2045   112431   54     5108    2992   2029   3908 20.91
20.89/20.91	o 262
20.89/20.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.89/20.93	c    81723    198     2053   112958   55     5246    2992   2037   3908 20.91
20.89/20.93	o 252
20.98/21.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.98/21.05	c    81776    198     2107   116003   55     5475    2992   2091   3908 20.92
20.98/21.05	c    81876    198     2207   122152   55     5681    3292   2191   3909 20.94
20.98/21.05	c    82126    198     2457   134678   54     6191    3622   2441   3912 20.99
20.98/21.05	o 250
21.29/21.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.29/21.31	c    82380    198     2712   147899   54     6803    2992   2696   3914 21.05
21.29/21.31	c    82480    198     2812   153133   54     7004    3292   2796   3914 21.07
21.29/21.31	c    82730    198     3062   166370   54     7516    3622   3046   3917 21.12
21.29/21.31	c    83205    198     3537   191721   54     8476    3985   3521   3919 21.23
21.29/21.31	o 249
21.29/21.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.29/21.37	c    83567    198     3900   211182   54     9265    2992   3884   3921 21.31
21.29/21.37	c    83667    198     1613    86243   53     4126    3292   1597   3921 21.34
21.29/21.37	o 245
21.39/21.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.39/21.47	c    83821    198     1768    96148   54     4551    2992   1752   3923 21.36
21.39/21.47	c    83921    198     1868   103450   55     4757    3292   1852   3924 21.38
21.39/21.47	c    84171    198     2118   118435   55     5256    3622   2102   3926 21.44
21.39/21.47	o 243
21.48/21.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.48/21.50	c    84327    198     2275   129010   56     5688    2992   2259   3928 21.47
21.48/21.50	c    84428    198     2376   133350   56     5906    3292   2360   3929 21.49
21.48/21.50	o 239
21.48/21.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.48/21.56	c    84473    198     2422   136331   56     6108    2992   2406   3929 21.50
21.48/21.56	c    84573    198     2522   142602   56     6285    3292   2506   3930 21.52
21.48/21.56	o 237
44.58/44.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.58/44.66	c    84802    198     2752   154581   56     6876    2992   2736   3933 21.56
44.58/44.66	c    84902    198     2852   158598   55     7094    3292   2836   3934 21.58
44.58/44.66	c    85152    198     3102   172337   55     7603    3622   3086   3936 21.63
44.58/44.66	c    85627    198     3577   203075   56     8557    3985   3561   3936 21.75
44.58/44.66	c    86440    198     2323   136778   58     5543    4384   2307   3938 21.95
44.58/44.66	c    87760    198     3643   207664   57     8186    4823   3627   3945 22.24
44.58/44.66	c    89842    198     3242   165347   51     7372    5306   3226   3959 22.69
44.58/44.66	c    93065    198     3734   198262   53     8365    5837   3718   3975 23.41
44.58/44.66	c    98003    198     5685   271545   47    12280    6421   5669   3980 24.62
44.58/44.66	c   105509    198     3381   170998   50     7669    7064   3365   3942 26.76
44.58/44.66	c   116870    198     3927   187773   47     8758    7771   3911   3903 29.94
44.58/44.66	c   134014    198     5253   283169   53    11398    8549   5237   3841 34.88
44.58/44.66	c   159833    198     5048   235419   46    10992    9404   5032   3642 43.88
44.58/44.66	o 236
65.08/65.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.08/65.17	c   162509    198     7725   398105   51    16469    2992   7709   3639 44.65
65.08/65.17	c   162609    198     1613    93183   57     4123    3292   1597   3630 44.80
65.08/65.17	c   162859    198     1863   108385   58     4630    3622   1847   3631 44.85
65.08/65.17	c   163334    198     2338   134038   57     5575    3985   2322   3634 44.94
65.08/65.17	c   164148    198     3152   177794   56     7206    4384   3136   3638 45.11
65.08/65.17	c   165468    198     2211   119873   54     5327    4823   2195   3642 45.43
65.08/65.17	c   167549    198     4292   235323   54     9489    5306   4276   3648 45.92
65.08/65.17	c   170772    198     4789   251535   52    10475    5837   4773   3647 46.82
65.08/65.17	c   175708    198     3782   207630   54     8464    6421   3766   3650 48.13
65.08/65.17	c   183214    198     4763   250231   52    10419    7064   4747   3648 50.22
65.08/65.17	c   194575    198     5308   296179   55    11516    7771   5292   3629 53.60
65.08/65.17	c   211719    198     6647   360405   54    14187    8549   6631   3572 59.26
65.08/65.17	o 235
65.17/65.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.17/65.27	c   227945    198     5525   306312   55    12077    2992   5509   3498 65.15
65.17/65.27	c   228045    198     1613    90598   56     4133    3292   1597   3495 65.23
65.17/65.27	o 233
1221.07/1221.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1221.07/1221.46	c   228171    198     1740    98899   56     4502    2992   1724   3496 65.26
1221.07/1221.46	c   228271    198     1840   103990   56     4705    3292   1824   3496 65.28
1221.07/1221.46	c   228523    198     2092   116325   55     5217    3622   2076   3498 65.33
1221.07/1221.46	c   228998    198     2567   140033   54     6139    3985   2551   3500 65.42
1221.07/1221.46	c   229811    198     3380   185818   54     7771    4384   3364   3503 65.59
1221.07/1221.46	c   231133    198     2452   129682   52     5816    4823   2436   3506 65.91
1221.07/1221.46	c   233214    198     4533   241726   53     9964    5306   4517   3514 66.36
1221.07/1221.46	c   236437    198     5028   261425   51    10947    5837   5012   3523 67.10
1221.07/1221.46	c   241373    198     3995   203197   50     8885    6421   3979   3532 68.32
1221.07/1221.46	c   248879    198     4964   238314   48    10816    7064   4948   3535 70.39
1221.07/1221.46	c   260242    198     5542   304929   55    11992    7771   5526   3527 73.77
1221.07/1221.46	c   277387    198     6906   389535   56    14695    8549   6890   3490 79.47
1221.07/1221.46	c   303206    198     6686   343126   51    14271    9404   6670   3437 88.21
1221.07/1221.46	c   342038    198     7380   372085   50    15653   10345   7364   3386 101.01
1221.07/1221.46	c   400391    198     8095   413226   51    17090   11380   8079   3268 122.50
1221.07/1221.46	c   488023    198     9397   501197   53    19686   12519   9381   3078 158.53
1221.07/1221.46	c   619576    198     8194   446958   54    17270   13771   8178   2847 217.59
1221.07/1221.46	c   817008    198    11104   568231   51    23105   15149  11088   2583 316.27
1221.07/1221.46	c  1113260    198     9725   566921   58    20341   16664   9709   2337 476.33
1221.07/1221.46	c  1557742    198     9391   511810   54    19674   18331   9375   2026 768.67
1221.07/1221.46	c  2224569    198    12138   626869   51    25148   20165  12122   1876 1185.61
1221.07/1221.46	o 230
1230.27/1230.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1230.27/1230.65	c  2277504    198    14358   768484   53    29734    2992  14342   1865 1221.14
1230.27/1230.65	c  2277604    198     1613    86446   53     4127    3292   1597   1864 1221.62
1230.27/1230.65	c  2277854    198     1863    99574   53     4613    3622   1847   1864 1221.68
1230.27/1230.65	c  2278329    198     2338   125157   53     5572    3985   2322   1864 1221.78
1230.27/1230.65	c  2279143    198     3152   165036   52     7205    4384   3136   1865 1221.94
1230.27/1230.65	c  2280463    198     2213   115545   52     5321    4823   2197   1865 1222.31
1230.27/1230.65	c  2282544    198     4294   227363   52     9490    5306   4278   1866 1222.77
1230.27/1230.65	c  2285767    198     4783   251425   52    10461    5837   4767   1868 1223.55
1230.27/1230.65	c  2290703    198     3785   178648   47     8471    6421   3769   1870 1224.81
1230.27/1230.65	c  2298209    198     4730   250050   52    10348    7064   4714   1873 1226.87
1230.27/1230.65	c  2309570    198     5302   277904   52    11501    7771   5286   1877 1230.18
1230.27/1230.65	o 221
1231.16/1231.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1231.16/1231.50	c  2310122    198     5855   313678   53    12716    2992   5839   1877 1230.33
1231.16/1231.50	c  2310222    198     1613    95694   59     4106    3292   1597   1877 1230.41
1231.16/1231.50	c  2310472    198     1863   107137   57     4628    3622   1847   1877 1230.44
1231.16/1231.50	c  2310950    198     2341   131677   56     5581    3985   2325   1878 1230.53
1231.16/1231.50	c  2311763    198     3154   174639   55     7200    4384   3138   1878 1230.70
1231.16/1231.50	c  2313085    198     2209   117412   53     5320    4823   2193   1878 1231.04
1231.16/1231.50	o 219
1516.40/1516.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1516.40/1516.80	c  2313670    198     2795   150479   53     6614    2992   2779   1879 1231.18
1516.40/1516.80	c  2313770    198     2895   154965   53     6817    3292   2879   1879 1231.20
1516.40/1516.80	c  2314020    198     3145   168598   53     7292    3622   3129   1879 1231.27
1516.40/1516.80	c  2314495    198     3620   189728   52     8265    3985   3604   1879 1231.38
1516.40/1516.80	c  2315308    198     2363   124238   52     5627    4384   2347   1879 1231.60
1516.40/1516.80	c  2316628    198     3683   198636   53     8260    4823   3667   1880 1231.94
1516.40/1516.80	c  2318709    198     3273   172302   52     7445    5306   3257   1881 1232.41
1516.40/1516.80	c  2321932    198     3773   197775   52     8440    5837   3757   1882 1233.18
1516.40/1516.80	c  2326869    198     5727   255458   44    12346    6421   5711   1885 1234.21
1516.40/1516.80	c  2334377    198     3438   161046   46     7768    7064   3422   1888 1236.19
1516.40/1516.80	c  2345738    198     4001   211140   52     8894    7771   3985   1893 1239.06
1516.40/1516.80	c  2362882    198     5363   256260   47    11623    8549   5347   1898 1244.62
1516.40/1516.80	c  2388702    198     5174   260700   50    11250    9404   5158   1906 1252.76
1516.40/1516.80	c  2427534    198     5955   320796   53    12805   10345   5939   1914 1267.97
1516.40/1516.80	c  2485886    198     6747   425932   63    14369   11380   6731   1915 1297.66
1516.40/1516.80	c  2573518    198     8040   381598   47    16983   12519   8024   1939 1326.77
1516.40/1516.80	c  2705070    198     6824   309062   45    14547   13771   6808   1966 1375.75
1516.40/1516.80	c  2902502    198     9775   571923   58    20460   15149   9759   1916 1514.30
1516.40/1516.80	o 218
1528.39/1528.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.39/1528.89	c  2906516    198    13790   747298   54    28609    2992  13774   1916 1516.40
1528.39/1528.89	c  2906616    198     1613    73131   45     4128    3292   1597   1916 1516.82
1528.39/1528.89	c  2906867    198     1864    87071   46     4628    3622   1848   1916 1516.86
1528.39/1528.89	c  2907342    198     2339   112143   47     5564    3985   2323   1916 1516.96
1528.39/1528.89	c  2908155    198     3152   149396   47     7207    4384   3136   1916 1517.13
1528.39/1528.89	c  2909475    198     2223   111350   50     5348    4823   2207   1917 1517.47
1528.39/1528.89	c  2911556    198     4304   217149   50     9504    5306   4288   1918 1517.93
1528.39/1528.89	c  2914779    198     4787   262292   54    10479    5837   4771   1919 1518.85
1528.39/1528.89	c  2919715    198     3745   192822   51     8386    6421   3729   1920 1520.22
1528.39/1528.89	c  2927221    198     4683   235293   50    10259    7064   4667   1922 1522.28
1528.39/1528.89	c  2938582    198     5251   251165   47    11409    7771   5235   1926 1525.58
1528.39/1528.89	o 217
1528.78/1529.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.78/1529.27	c  2947166    198     5916   345346   58    12863    2992   5900   1928 1528.49
1528.78/1529.27	c  2947266    198     1613   103252   64     4128    3292   1597   1928 1528.55
1528.78/1529.27	c  2947516    198     1863   117080   62     4632    3622   1847   1928 1528.61
1528.78/1529.27	c  2947992    198     2339   146280   62     5577    3985   2323   1928 1528.71
1528.78/1529.27	o 208
1528.88/1529.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.88/1529.34	c  2948667    198     3015   190633   63     7000    2992   2999   1928 1528.87
1528.88/1529.34	c  2948767    198     1613    97117   60     4121    3292   1597   1928 1528.89
1528.88/1529.34	o 194
1528.88/1529.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.88/1529.34	c  2949010    198     1857   109670   59     4729    2992   1841   1928 1528.94
1528.88/1529.34	o 192
1528.88/1529.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.88/1529.36	c  2949020    198     1868   110280   59     4880    2992   1852   1928 1528.94
1528.88/1529.36	o 190
1528.98/1529.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1528.98/1529.43	c  2949101    198     1950   117631   60     5178    2992   1934   1928 1528.96
1528.98/1529.43	c  2949201    198     2050   122857   59     5375    3292   2034   1928 1528.98
1528.98/1529.43	o 188
1529.09/1529.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.09/1529.51	c  2949420    198     2270   138574   61     5942    2992   2254   1928 1529.03
1529.09/1529.51	c  2949520    198     2370   148532   62     6139    3292   2354   1928 1529.05
1529.09/1529.51	o 186
1529.09/1529.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.09/1529.54	c  2949702    198     2553   166506   65     6628    2992   2537   1929 1529.10
1529.09/1529.54	o 184
1529.19/1529.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.19/1529.66	c  2949801    198     2653   176165   66     6953    2992   2637   1929 1529.13
1529.19/1529.66	c  2949904    198     2756   180536   65     7130    3292   2740   1929 1529.15
1529.19/1529.66	c  2950154    198     3006   198015   65     7644    3622   2990   1929 1529.22
1529.19/1529.66	o 163
1529.19/1529.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.19/1529.67	c  2950322    198     3175   206902   65     8091    2992   3159   1929 1529.26
1529.19/1529.67	o 159
1529.19/1529.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.19/1529.67	c  2950329    198     1521   108325   71     4064    2992   1505   1929 1529.27
1529.19/1529.67	o 155
1529.19/1529.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.19/1529.69	c  2950330    198     1523   108543   71     4195    2992   1507   1929 1529.27
1529.19/1529.69	o 153
1529.29/1529.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.29/1529.70	c  2950391    198     1585   112844   71     4439    2992   1569   1929 1529.28
1529.29/1529.70	o 149
1529.29/1529.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.29/1529.73	c  2950490    198     1685   117327   69     4760    2992   1669   1929 1529.30
1529.29/1529.73	c  2950590    198     1785   122953   68     4966    3292   1769   1929 1529.32
1529.29/1529.73	o 145
1529.29/1529.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.29/1529.76	c  2950675    198     1871   126635   67     5267    2992   1855   1929 1529.33
1529.29/1529.76	c  2950776    198     1972   130490   66     5465    3292   1956   1929 1529.35
1529.29/1529.76	o 143
1529.39/1529.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.39/1529.81	c  2950806    198     2003   132385   66     5646    2992   1987   1929 1529.35
1529.39/1529.81	c  2950906    198     2103   139719   66     5858    3292   2087   1929 1529.38
1529.39/1529.81	o 141
1529.39/1529.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1529.39/1529.85	c  2951006    198     2204   148472   67     6174    2992   2188   1929 1529.41
1529.39/1529.85	c  2951107    198     2305   152523   66     6392    3292   2289   1929 1529.43
1529.39/1529.85	o 139
1538.39/1538.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1538.39/1538.80	c  2951198    198     2397   159468   66     6702    2992   2381   1929 1529.45
1538.39/1538.80	c  2951298    198     2497   163400   65     6875    3292   2481   1929 1529.47
1538.39/1538.80	c  2951549    198     2748   174819   63     7405    3622   2732   1929 1529.52
1538.39/1538.80	c  2952024    198     3223   200117   62     8346    3985   3207   1929 1529.63
1538.39/1538.80	c  2952837    198     2010   110182   54     4924    4384   1994   1930 1529.83
1538.39/1538.80	c  2954157    198     3330   177514   53     7557    4823   3314   1930 1530.12
1538.39/1538.80	c  2956238    198     2950   149075   50     6779    5306   2934   1931 1530.62
1538.39/1538.80	c  2959461    198     3444   166420   48     7788    5837   3428   1932 1531.43
1538.39/1538.80	c  2964397    198     5399   279013   51    11700    6421   5383   1934 1532.78
1538.39/1538.80	c  2971903    198     6371   324915   50    13647    7064   6355   1936 1534.82
1538.39/1538.80	c  2983264    198     6912   363157   52    14722    7771   6896   1939 1538.20
1538.39/1538.80	o 136
1541.08/1541.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1541.08/1541.54	c  2983843    198     7492   390368   52    16006    2992   7476   1939 1538.40
1541.08/1541.54	c  2983945    198     1615    85030   52     4128    3292   1599   1939 1538.53
1541.08/1541.54	c  2984195    198     1865    96360   51     4628    3622   1849   1939 1538.59
1541.08/1541.54	c  2984672    198     2342   117256   50     5581    3985   2326   1939 1538.67
1541.08/1541.54	c  2985485    198     3155   155929   49     7211    4384   3139   1940 1538.85
1541.08/1541.54	c  2986807    198     2209   114961   52     5319    4823   2193   1940 1539.19
1541.08/1541.54	c  2988888    198     4290   224518   52     9473    5306   4274   1941 1539.67
1541.08/1541.54	c  2992111    198     4783   236059   49    10467    5837   4767   1942 1540.51
1541.08/1541.54	o 105
1541.08/1541.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1541.08/1541.57	c  2994441    198     4124   216351   52     9273    2992   4108   1943 1541.13
1541.08/1541.57	o 101
1541.08/1541.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1541.08/1541.59	c  2994477    195     1550    87950   56     4121    2986   1534   1942 1541.17
1541.08/1541.59	o 99
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c  2994545    195     1619    94046   58     4384    2986   1603   1943 1541.18
1797.92/1798.47	c  2994646    193     1720    98855   57     4578    3285   1704   1943 1541.20
1797.92/1798.47	c  2994896    190     1970   112473   57     5079    3614   1954   1943 1541.25
1797.92/1798.47	c  2995371    188     2445   135020   55     6010    3976   2429   1943 1541.34
1797.92/1798.47	c  2996184    186     3258   170998   52     7646    4374   3242   1943 1541.51
1797.92/1798.47	c  2997504    186     2322   102964   44     5517    4812   2306   1944 1541.82
1797.92/1798.47	c  2999586    186     4404   192984   43     9700    5294   4388   1944 1542.24
1797.92/1798.47	c  3002809    186     4911   237290   48    10712    5824   4895   1946 1543.03
1797.92/1798.47	c  3007746    186     3910   172813   44     8708    6407   3894   1947 1544.16
1797.92/1798.47	c  3015252    186     4901   232610   47    10680    7048   4885   1950 1545.92
1797.92/1798.47	c  3026613    185     5507   288239   52    11912    7753   5491   1953 1549.04
1797.92/1798.47	c  3043757    185     6882   364895   53    14651    8529   6866   1957 1554.64
1797.92/1798.47	c  3069577    184     6792   320942   47    14461    9382   6776   1963 1563.28
1797.92/1798.47	c  3108409    184     7595   361678   47    16074   10321   7579   1970 1577.57
1797.92/1798.47	c  3166761    184     8577   398268   46    18039   11354   8561   1980 1598.67
1797.92/1798.47	c  3254393    184    10206   488265   47    21299   12490  10190   1992 1633.18
1797.92/1798.47	c  3385945    184     9529   438014   45    19924   13740   9513   2007 1686.66
1797.92/1798.47	c  3583377    184    13154   598395   45    27186   15115  13138   2023 1771.15
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	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 x176 x177 -x178 -x179 x180 x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 x195 x196 x197 x198 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c  265  3645229 122881  3812703    14105   659993  14089   2027 1798.00
1797.92/1798.47	c Objective: 99
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 s

Verifier Data 

OK	99

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11083
/proc/meminfo: memFree=1428708/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=18604 CPUtime=0
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 1396746 19050496 250 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4651 251 191 642 0 4007 0

[startup+0.0677081 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11083
/proc/meminfo: memFree=1428708/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=11176 CPUtime=0.06
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 431 0 0 0 6 0 0 0 25 0 1 0 1396746 11444224 345 1992294400 134512640 137138936 4292167920 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 2794 345 191 642 0 2150 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11176

[startup+0.100711 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11083
/proc/meminfo: memFree=1428708/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=11304 CPUtime=0.09
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 474 0 0 0 9 0 0 0 25 0 1 0 1396746 11575296 388 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 2826 388 191 642 0 2182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304

[startup+0.300733 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11083
/proc/meminfo: memFree=1428708/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=12572 CPUtime=0.29
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 773 0 0 0 29 0 0 0 25 0 1 0 1396746 12873728 687 1992294400 134512640 137138936 4292167920 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 3143 687 191 642 0 2499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12572

[startup+0.700777 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11083
/proc/meminfo: memFree=1428708/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=14240 CPUtime=0.69
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1209 0 0 0 69 0 0 0 25 0 1 0 1396746 14581760 1123 1992294400 134512640 137138936 4292167920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 3560 1123 191 642 0 2916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14240

[startup+1.50087 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1424236/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=14884 CPUtime=1.49
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1378 0 0 0 148 1 0 0 25 0 1 0 1396746 15241216 1292 1992294400 134512640 137138936 4292167920 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 3721 1292 191 642 0 3077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14884

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1423988/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=16020 CPUtime=3.09
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1639 0 0 0 307 2 0 0 25 0 1 0 1396746 16404480 1553 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4005 1553 191 642 0 3361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16020

[startup+6.30039 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1422128/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=16532 CPUtime=6.29
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1793 0 0 0 626 3 0 0 25 0 1 0 1396746 16928768 1707 1992294400 134512640 137138936 4292167920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4133 1707 191 642 0 3489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16532

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1422128/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=16536 CPUtime=12.69
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1794 0 0 0 1262 7 0 0 25 0 1 0 1396746 16932864 1708 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4134 1708 191 642 0 3490 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16536

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1422004/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=16788 CPUtime=25.48
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 1852 0 0 0 2535 13 0 0 25 0 1 0 1396746 17190912 1766 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4197 1766 191 642 0 3553 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16788

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11084
/proc/meminfo: memFree=1420268/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=18372 CPUtime=51.08
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 2232 0 0 0 5082 26 0 0 25 0 1 0 1396746 18812928 2146 1992294400 134512640 137138936 4292167920 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4593 2146 191 642 0 3949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18372

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11086
/proc/meminfo: memFree=1420020/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=18536 CPUtime=102.27
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 2341 0 0 0 10180 47 0 0 25 0 1 0 1396746 18980864 2187 1992294400 134512640 137138936 4292167920 18446744073709551615 136500326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 4634 2187 191 642 0 3990 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18536

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11088
/proc/meminfo: memFree=1417788/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=20696 CPUtime=162.25
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 2900 0 0 0 16157 68 0 0 25 0 1 0 1396746 21192704 2746 1992294400 134512640 137138936 4292167920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5174 2746 191 642 0 4530 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20696

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11090
/proc/meminfo: memFree=1416424/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=22084 CPUtime=222.23
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3247 0 0 0 22138 85 0 0 25 0 1 0 1396746 22614016 3093 1992294400 134512640 137138936 4292167920 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5521 3093 191 642 0 4877 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11090
/proc/meminfo: memFree=1415804/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=22672 CPUtime=282.21
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3384 0 0 0 28117 104 0 0 25 0 1 0 1396746 23216128 3230 1992294400 134512640 137138936 4292167920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5668 3230 191 642 0 5024 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 22672

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11092
/proc/meminfo: memFree=1415184/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=23180 CPUtime=342.2
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3521 0 0 0 34098 122 0 0 25 0 1 0 1396746 23736320 3367 1992294400 134512640 137138936 4292167920 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5795 3367 191 642 0 5151 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23180

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11094
/proc/meminfo: memFree=1415184/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=23180 CPUtime=402.19
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3521 0 0 0 40080 139 0 0 25 0 1 0 1396746 23736320 3367 1992294400 134512640 137138936 4292167920 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5795 3367 191 642 0 5151 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 23180

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11096
/proc/meminfo: memFree=1415184/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=23180 CPUtime=462.16
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3521 0 0 0 46063 153 0 0 25 0 1 0 1396746 23736320 3367 1992294400 134512640 137138936 4292167920 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 5795 3367 191 642 0 5151 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23180

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11099
/proc/meminfo: memFree=1413572/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=24204 CPUtime=522.15
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3775 0 0 0 52044 171 0 0 25 0 1 0 1396746 24784896 3621 1992294400 134512640 137138936 4292167920 18446744073709551615 134600680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6051 3621 191 642 0 5407 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 24204

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11101
/proc/meminfo: memFree=1413324/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=24524 CPUtime=582.13
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3854 0 0 0 58026 187 0 0 25 0 1 0 1396746 25112576 3700 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6131 3700 191 642 0 5487 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 24524

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11103
/proc/meminfo: memFree=1413076/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=24936 CPUtime=642.13
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 3955 0 0 0 64011 202 0 0 25 0 1 0 1396746 25534464 3793 1992294400 134512640 137138936 4292167920 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6234 3793 191 642 0 5590 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 24936

[startup+702.301 s]

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

/proc/meminfo: memFree=1411712/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26168 CPUtime=1121.99
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4315 0 0 0 111863 336 0 0 25 0 1 0 1396746 26796032 4116 1992294400 134512640 137138936 4292167920 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6542 4116 191 642 0 5898 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 26168

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11117
/proc/meminfo: memFree=1411588/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=25712 CPUtime=1181.97
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4315 0 0 0 117846 351 0 0 25 0 1 0 1396746 26329088 4002 1992294400 134512640 137138936 4292167920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6428 4002 191 642 0 5784 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 25712

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11119
/proc/meminfo: memFree=1410968/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26300 CPUtime=1241.97
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 123827 370 0 0 25 0 1 0 1396746 26931200 4149 1992294400 134512640 137138936 4292167920 18446744073709551615 134618347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6575 4149 191 642 0 5931 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 26300

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11121
/proc/meminfo: memFree=1410844/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26296 CPUtime=1301.95
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 129805 390 0 0 25 0 1 0 1396746 26927104 4148 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6574 4148 191 642 0 5930 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 26296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11123
/proc/meminfo: memFree=1410844/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1361.93
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 135781 412 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 26284

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11125
/proc/meminfo: memFree=1410844/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1421.92
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 141762 430 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 26284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11125
/proc/meminfo: memFree=1410844/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1481.89
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 147745 444 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 26284

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11127
/proc/meminfo: memFree=1410968/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1541.88
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 153722 466 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 26284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11129
/proc/meminfo: memFree=1410844/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1601.87
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 159694 493 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 26284

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11131
/proc/meminfo: memFree=1410720/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1661.85
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 165671 514 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 26284

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11131
/proc/meminfo: memFree=1410720/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1721.84
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 171650 534 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 26284

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11133
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1781.82
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 177630 552 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134572994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 26284

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11133
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1791.42
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 178588 554 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 26284

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11133
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1794.63
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 178907 556 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 26284

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11133
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1796.22
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 179066 556 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 26284

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11135
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1797.01
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 179145 556 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 26284

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11135
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1797.41
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 179185 556 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 26284

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11135
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1797.82
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 179225 557 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 26284

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11135
/proc/meminfo: memFree=1410596/2059040 swapFree=4192956/4192956
[pid=11083] ppid=11081 vsize=26284 CPUtime=1797.92
/proc/11083/stat : 11083 (bsolo_pb10) R 11081 11083 2309 0 -1 4202496 4588 0 0 0 179235 557 0 0 25 0 1 0 1396746 26914816 4145 1992294400 134512640 137138936 4292167920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11083/statm: 6571 4145 191 642 0 5927 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 26284

Child status: 0
Real time (s): 1798.48
CPU time (s): 1798
CPU user time (s): 1792.43
CPU system time (s): 5.57515
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 26848

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

runsolver used 3.12352 second user time and 8.33673 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-15 13:23:50
IDJOB=2657566
IDBENCH=2904
IDSOLVER=1163
FILE ID=node086/2657566-1276601030
PBS_JOBID= 11173548
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=1078187770

node086.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.244
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.244
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1429236 kB
Buffers:         54384 kB
Cached:         435376 kB
SwapCached:          0 kB
Active:         212936 kB
Inactive:       336320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1429236 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3968 kB
Writeback:           0 kB
AnonPages:       59396 kB
Mapped:          15488 kB
Slab:            58808 kB
PageTables:       3876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180588 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= 62572 MiB
End job on node086 at 2010-06-15 13:53:49