Trace number 3734859

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
PB07: bsolo 3.0.17SAT (TO)28 1800.1 1800.41

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734859-1338701275.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    198       16     1354   84      394    2708      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 1080	0.002
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    198       17     1482   87      896    2964      1      0 0.00
0.00/0.01	c      100    198      117     9681   82     1095    3261    101  12500 0.01
0.00/0.01	o 907	0.009
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      116    198      134    10969   81     1205    2964    118  11600 0.01
0.01/0.03	c      216    198      234    19490   83     1412    3261    218  12000 0.02
0.01/0.03	o 898	0.025
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      318    198      337    27221   80     1735    2964    321  12720 0.03
0.01/0.06	c      418    198      437    35609   81     1939    3261    421  11942 0.04
0.01/0.06	o 748	0.055
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      619    198      639    52260   81     2368    2964    623  11254 0.06
0.01/0.06	o 695	0.055
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      622    198      643    52631   81     2463    2964    627  11309 0.06
0.01/0.06	o 691	0.056
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      626    198      648    53095   81     2580    2964    632  11178 0.06
0.01/0.07	c      726    198      748    60777   81     2809    3261    732  11169 0.07
0.01/0.07	o 661	0.066
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      727    198      750    60991   81     2903    2964    734  11015 0.07
0.01/0.07	o 657	0.068
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      744    198      768    62666   81     3056    2964    752  10941 0.07
0.39/0.42	c      844    198      868    70734   81     3218    3261    852  10820 0.08
0.39/0.42	c     1094    198     1118    87369   78     3786    3588   1102  11163 0.10
0.39/0.42	c     1569    198     1593   120250   75     4771    3947   1577  11049 0.14
0.39/0.42	c     2382    198     2406   172829   71     6398    4342   2390  10008 0.24
0.39/0.42	c     3703    198     3727   261039   70     8986    4777   3711   9398 0.39
0.39/0.42	o 643	0.417
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     3908    198     3933   272721   69     9438    2964   3917   9371 0.42
0.49/0.58	c     4009    198     1600   105431   65     4080    3261   1584   9366 0.43
0.49/0.58	c     4259    198     1850   119911   64     4580    3588   1834   9527 0.45
0.49/0.58	c     4734    198     2325   149368   64     5539    3947   2309   9544 0.50
0.49/0.58	o 574	0.576
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     5533    198     3125   202171   64     7229    2964   3109   9605 0.58
0.49/0.59	o 549	0.582
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     5555    198     1522    97097   63     4032    2964   1506   9544 0.58
0.49/0.59	o 471	0.583
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     5555    198     1523    97225   63     4121    2964   1507   9528 0.58
0.49/0.59	o 469	0.584
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c     5568    198     1537    98617   64     4264    2964   1521   9534 0.58
0.59/0.63	c     5671    198     1640   106139   64     4492    3261   1624   9531 0.59
0.59/0.63	c     5922    198     1891   123336   65     5028    3588   1875   9444 0.63
0.59/0.63	o 466	0.63
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     5945    198     1915   125196   65     5175    2964   1899   9421 0.63
0.69/0.75	c     6045    198     2015   132588   65     5375    3261   1999   9460 0.64
0.69/0.75	c     6297    198     2267   151898   67     5900    3588   2251   9454 0.67
0.69/0.75	c     6772    198     2742   180522   65     6843    3947   2726   9551 0.71
0.69/0.75	o 462	0.747
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     7084    198     3055   205013   67     7548    2964   3039   9483 0.75
0.69/0.76	o 461	0.754
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     7131    198     1547   109084   70     4074    2964   1531   9457 0.75
0.69/0.76	o 449	0.757
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     7157    198     1574   110578   70     4267    2964   1558   9454 0.76
0.69/0.76	o 448	0.757
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c     7158    198     1576   110751   70     4375    2964   1560   9455 0.76
0.79/0.81	c     7258    198     1676   119877   71     4596    3261   1660   9438 0.77
0.79/0.81	c     7508    198     1926   136144   70     5078    3588   1910   9491 0.79
0.79/0.81	o 441	0.804
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     7638    198     2057   144435   70     5411    2964   2041   9500 0.80
0.79/0.86	c     7739    198     2158   151558   70     5671    3261   2142   9495 0.81
0.79/0.86	c     7989    198     2408   167878   69     6191    3588   2392   9499 0.84
0.79/0.86	o 382	0.855
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c     8121    198     2541   175658   69     6524    2964   2525   9498 0.85
0.89/0.90	c     8222    198     2642   183167   69     6744    3261   2626   9516 0.86
0.89/0.90	c     8472    198     2892   198172   68     7264    3588   2876   9551 0.89
0.89/0.90	o 367	0.898
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c     8568    198     2989   205298   68     7531    2964   2973   9541 0.90
0.99/1.02	c     8668    198     1599   105872   66     4060    3261   1583   9556 0.91
0.99/1.02	c     8918    198     1849   123260   66     4576    3588   1833   9620 0.93
0.99/1.02	c     9394    198     2325   155023   66     5537    3947   2309   9684 0.97
0.99/1.02	o 357	1.02
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c     9824    198     2756   187023   67     6482    2964   2740   9631 1.02
0.99/1.04	c     9924    198     2856   191971   67     6701    3261   2840   9644 1.03
0.99/1.04	o 349	1.033
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c     9948    198     2881   193869   67     6841    2964   2865   9630 1.03
0.99/1.05	c    10049    198     1499   100121   66     3883    3261   1483   9625 1.04
0.99/1.05	o 345	1.049
0.99/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.07	c    10109    198     1560   104105   66     4085    2964   1544   9636 1.05
0.99/1.07	c    10209    198     1660   109241   65     4322    3261   1644   9649 1.06
0.99/1.07	o 341	1.071
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c    10331    198     1783   117766   66     4647    2964   1767   9646 1.07
0.99/1.10	c    10431    198     1883   122867   65     4888    3261   1867   9658 1.08
0.99/1.10	o 339	1.097
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c    10579    198     2032   134853   66     5306    2964   2016   9643 1.10
1.19/1.22	c    10679    198     2132   139681   65     5498    3261   2116   9655 1.11
1.19/1.22	c    10929    198     2382   158388   66     5983    3588   2366   9654 1.13
1.19/1.22	c    11404    198     2857   188040   65     6941    3947   2841   9664 1.18
1.19/1.22	o 337	1.218
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c    11638    198     3092   207207   67     7533    2964   3076   9555 1.22
1.29/1.32	c    11738    198     1599   104802   65     4061    3261   1583   9558 1.23
1.29/1.32	c    11988    198     1849   121064   65     4561    3588   1833   9598 1.25
1.29/1.32	c    12463    198     2324   154713   66     5529    3947   2308   9668 1.29
1.29/1.32	o 335	1.315
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c    12836    198     2698   177884   65     6385    2964   2682   9761 1.31
1.39/1.47	c    12936    198     2798   182824   65     6595    3261   2782   9785 1.32
1.39/1.47	c    13186    198     3048   198705   65     7072    3588   3032   9832 1.34
1.39/1.47	c    13661    198     3523   231121   65     8050    3947   3507   9863 1.39
1.39/1.47	o 294	1.463
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c    14404    198     2239   143580   64     5471    2964   2223   9845 1.46
1.59/1.66	c    14504    198     2339   148823   63     5663    3261   2323   9853 1.47
1.59/1.66	c    14754    198     2589   163670   63     6177    3588   2573   9855 1.50
1.59/1.66	c    15232    198     3067   193790   63     7127    3947   3051   9910 1.54
1.59/1.66	c    16045    198     3880   241231   62     8776    4342   3864   9953 1.61
1.59/1.66	o 285	1.66
1.69/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.74	c    16514    198     4350   274963   63     9826    2964   4334   9948 1.66
1.69/1.74	c    16615    198     1600   102000   63     4062    3261   1584   9949 1.67
1.69/1.74	c    16866    198     1851   118361   63     4593    3588   1835   9973 1.69
1.69/1.74	c    17341    198     2326   147112   63     5528    3947   2310  10041 1.73
1.69/1.74	o 272	1.741
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    17494    198     2480   156971   63     5951    2964   2464  10048 1.74
1.79/1.89	c    17594    198     2580   162910   63     6157    3261   2564  10059 1.75
1.79/1.89	c    17844    198     2830   173698   61     6650    3588   2814  10109 1.76
1.79/1.89	c    18319    198     3305   204933   62     7612    3947   3289  10109 1.81
1.79/1.89	o 262	1.887
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    19059    198     1993   116466   58     5003    2964   1977  10100 1.89
1.79/1.89	o 234	1.889
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    19070    198     2005   117144   58     5142    2964   1989  10095 1.89
1.79/1.89	o 228	1.89
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    19071    198     2007   117362   58     5264    2964   1991  10090 1.89
1.79/1.89	o 226	1.891
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    19081    198     2018   118242   58     5415    2964   2002  10090 1.89
1.89/1.92	c    19181    198     2118   123390   58     5629    3261   2102  10079 1.90
1.89/1.92	o 224	1.912
9.28/9.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.28/9.31	c    19257    198     2195   127996   58     5898    2964   2179  10066 1.91
9.28/9.31	c    19358    198     2296   132342   57     6108    3261   2280  10071 1.92
9.28/9.31	c    19609    198     2547   147370   57     6588    3588   2531  10071 1.95
9.28/9.31	c    20084    198     3022   170325   56     7531    3947   3006  10077 1.99
9.28/9.31	c    20899    198     3837   214595   55     9155    4342   3821  10091 2.07
9.28/9.31	c    22219    198     2919   147500   50     6722    4777   2903  10122 2.19
9.28/9.31	c    24300    198     2525   148360   58     5914    5255   2509   9995 2.43
9.28/9.31	c    27523    198     3052   148183   48     6956    5781   3036   9864 2.79
9.28/9.31	c    32459    198     5012   257613   51    10898    6360   4996   9680 3.35
9.28/9.31	c    39965    198     6054   286591   47    12986    6997   6038   9570 4.18
9.28/9.31	c    51326    198     6704   385772   57    14288    7697   6688   8636 5.94
9.28/9.31	c    68470    198     4241   246554   58     9353    8467   4225   7932 8.63
9.28/9.31	o 223	9.304
9.48/9.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.50	c    72495    198     8267   500224   60    17543    2964   8251   7791 9.30
9.48/9.50	c    72595    198     1599   104733   65     4086    3261   1583   7765 9.35
9.48/9.50	c    72845    198     1849   116819   63     4576    3588   1833   7777 9.37
9.48/9.50	c    73320    198     2324   143783   61     5538    3947   2308   7796 9.40
9.48/9.50	c    74133    198     3137   195314   62     7123    4342   3121   7825 9.47
9.48/9.50	o 213	9.498
9.48/9.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.51	c    74423    198     3428   208261   60     7848    2964   3412   7835 9.50
9.48/9.51	o 211	9.502
11.58/11.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.58/11.60	c    74441    198     1518    89504   58     4024    2964   1502   7834 9.50
11.58/11.60	c    74541    198     1618    93540   57     4204    3261   1602   7839 9.51
11.58/11.60	c    74791    198     1868   103201   55     4711    3588   1852   7855 9.52
11.58/11.60	c    75267    198     2344   123444   52     5674    3947   2328   7882 9.55
11.58/11.60	c    76080    198     3157   157523   49     7277    4342   3141   7921 9.60
11.58/11.60	c    77401    198     2251   100958   44     5342    4777   2235   7963 9.72
11.58/11.60	c    79482    198     4332   213049   49     9526    5255   4316   8003 9.93
11.58/11.60	c    82706    198     4855   272414   56    10588    5781   4839   8007 10.33
11.58/11.60	c    87642    198     3889   184854   47     8663    6360   3873   7976 10.99
11.58/11.60	o 209	11.593
31.57/31.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.57/31.61	c    93054    198     6074   339421   55    13166    2964   6058   8026 11.59
31.57/31.61	c    93154    198     1599    89724   56     4046    3261   1583   8020 11.62
31.57/31.61	c    93404    198     1849   100428   54     4537    3588   1833   8031 11.63
31.57/31.61	c    93879    198     2324   121560   52     5520    3947   2308   8049 11.66
31.57/31.61	c    94692    198     3137   161786   51     7153    4342   3121   8064 11.74
31.57/31.61	c    96012    198     2236   113306   50     5323    4777   2220   8087 11.87
31.57/31.61	c    98095    198     4319   214376   49     9504    5255   4303   8130 12.06
31.57/31.61	c   101319    198     4851   246940   50    10545    5781   4835   8135 12.45
31.57/31.61	c   106255    198     3891   183256   47     8657    6360   3875   8199 12.96
31.57/31.61	c   113761    198     4942   255870   51    10741    6997   4926   8261 13.77
31.57/31.61	c   125122    198     5600   309747   55    12078    7697   5584   8225 15.21
31.57/31.61	c   142266    198     7099   342637   48    15025    8467   7083   8278 17.19
31.57/31.61	c   168085    198     7111   358914   50    15090    9314   7095   8054 20.87
31.57/31.61	c   206917    198     8193   415465   50    17246   10246   8177   7858 26.33
31.57/31.61	o 175	31.604
57.87/57.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.87/57.99	c   235365    198     5550   310756   55    12116    2964   5534   7447 31.60
57.87/57.99	c   235465    198     1599    93033   58     4044    3261   1583   7446 31.62
57.87/57.99	c   235715    198     1849   104275   56     4540    3588   1833   7451 31.63
57.87/57.99	c   236190    198     2324   124313   53     5495    3947   2308   7460 31.66
57.87/57.99	c   237004    198     3138   161499   51     7170    4342   3122   7470 31.73
57.87/57.99	c   238324    198     2216   106214   47     5321    4777   2200   7481 31.86
57.87/57.99	c   240405    198     4297   209938   48     9440    5255   4281   7495 32.08
57.87/57.99	c   243628    198     4853   229821   47    10548    5781   4837   7513 32.42
57.87/57.99	c   248565    198     3876   202093   52     8635    6360   3860   7535 32.98
57.87/57.99	c   256071    198     4914   240043   48    10669    6997   4898   7565 33.85
57.87/57.99	c   267432    198     5574   277072   49    12010    7697   5558   7614 35.12
57.87/57.99	c   284580    198     7093   375749   52    15075    8467   7077   7573 37.57
57.87/57.99	c   310401    198     7140   342878   48    15132    9314   7124   7537 41.18
57.87/57.99	c   349233    198     8292   404846   48    17439   10246   8276   7526 46.40
57.87/57.99	c   407585    198     9649   450158   46    20164   11271   9633   7334 55.57
57.87/57.99	o 173	57.973
58.27/58.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.27/58.38	c   421991    198     6980   370402   53    14980    2964   6964   7279 57.97
58.27/58.38	c   422091    198     1599    79045   49     4060    3261   1583   7277 58.00
58.27/58.38	c   422341    198     1849    91889   49     4568    3588   1833   7279 58.02
58.27/58.38	c   422817    198     2325   118891   51     5525    3947   2309   7282 58.06
58.27/58.38	c   423631    198     3139   166835   53     7162    4342   3123   7286 58.14
58.27/58.38	c   424953    198     2227   124570   55     5350    4777   2211   7291 58.28
58.27/58.38	o 169	58.363
61.07/61.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.07/61.10	c   425778    198     3053   171963   56     7131    2964   3037   7295 58.36
61.07/61.10	c   425878    198     1599    90593   56     4060    3261   1583   7295 58.38
61.07/61.10	c   426129    198     1850   102966   55     4594    3588   1834   7297 58.40
61.07/61.10	c   426604    198     2325   128742   55     5547    3947   2309   7298 58.45
61.07/61.10	c   427418    198     3139   168919   53     7186    4342   3123   7303 58.52
61.07/61.10	c   428738    198     2235   113424   50     5343    4777   2219   7307 58.67
61.07/61.10	c   430821    198     4318   229570   53     9520    5255   4302   7314 58.90
61.07/61.10	c   434044    198     4836   283174   58    10566    5781   4820   7322 59.27
61.07/61.10	c   438980    198     3869   215425   55     8627    6360   3853   7323 59.94
61.07/61.10	c   446486    198     4860   275536   56    10615    6997   4844   7318 61.01
61.07/61.10	o 166	61.087
61.07/61.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.07/61.18	c   447185    198     5560   310684   55    12138    2964   5544   7320 61.09
61.07/61.18	c   447285    198     1599    85277   53     4074    3261   1583   7319 61.11
61.07/61.18	c   447535    198     1849    98479   53     4592    3588   1833   7321 61.13
61.07/61.18	o 164	61.159
61.57/61.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.57/61.67	c   447825    198     2140   118510   55     5298    2964   2124   7322 61.16
61.57/61.67	c   447925    198     2240   122680   54     5452    3261   2224   7322 61.17
61.57/61.67	c   448175    198     2490   134915   54     5968    3588   2474   7324 61.19
61.57/61.67	c   448650    198     2965   156507   52     6912    3947   2949   7327 61.23
61.57/61.67	c   449464    198     3779   197095   52     8563    4342   3763   7331 61.31
61.57/61.67	c   450785    198     2884   149003   51     6626    4777   2868   7338 61.43
61.57/61.67	c   452866    198     2520   125014   49     5920    5255   2504   7347 61.64
61.57/61.67	o 155	61.658
61.57/61.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.57/61.68	c   453106    198     2761   137653   49     6531    2964   2745   7348 61.66
61.57/61.68	c   453206    198     2861   141474   49     6709    3261   2845   7349 61.66
61.57/61.68	o 153	61.667
61.67/61.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.67/61.74	c   453233    198     2889   143625   49     6917    2964   2873   7349 61.67
61.67/61.74	c   453333    198     1499    72778   48     3856    3261   1483   7350 61.68
61.67/61.74	c   453585    198     1751    87350   49     4391    3588   1735   7352 61.69
61.67/61.74	c   454060    198     2226   109745   49     5328    3947   2210   7356 61.72
61.67/61.74	o 151	61.726
61.77/61.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.77/61.88	c   454086    198     2253   112135   49     5518    2964   2237   7356 61.73
61.77/61.88	c   454186    198     2353   116256   49     5712    3261   2337   7357 61.73
61.77/61.88	c   454436    198     2603   129189   49     6219    3588   2587   7358 61.76
61.77/61.88	c   454911    198     3078   152974   49     7115    3947   3062   7360 61.80
61.77/61.88	o 147	61.86
61.87/61.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.87/61.90	c   455401    198     3569   179230   50     8275    2964   3553   7361 61.86
61.87/61.90	c   455502    198     1600    83635   52     4079    3261   1584   7362 61.87
61.87/61.90	o 146	61.881
62.17/62.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.17/62.30	c   455650    198     1749    92015   52     4509    2964   1733   7363 61.88
62.17/62.30	c   455751    198     1850    95953   51     4684    3261   1834   7364 61.89
62.17/62.30	c   456001    198     2100   116895   55     5213    3588   2084   7365 61.91
62.17/62.30	c   456477    198     2576   140934   54     6164    3947   2560   7368 61.95
62.17/62.30	c   457290    198     3389   184667   54     7784    4342   3373   7371 62.03
62.17/62.30	c   458610    198     2480   133308   53     5851    4777   2464   7374 62.19
62.17/62.30	o 96	62.278
90.36/90.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
90.36/90.47	c   459604    198     3475   194618   56     7965    2964   3459   7379 62.28
90.36/90.47	c   459704    192     1599    89978   56     4055    3261   1583   7380 62.29
90.36/90.47	c   459954    187     1849   100089   54     4563    3588   1833   7381 62.31
90.36/90.47	c   460429    186     2324   121149   52     5521    3947   2308   7385 62.34
90.36/90.47	c   461242    186     3137   157891   50     7148    4342   3121   7390 62.41
90.36/90.47	c   462562    185     2233   100700   45     5337    4777   2217   7395 62.54
90.36/90.47	c   464644    185     4315   195257   45     9498    5255   4299   7405 62.74
90.36/90.47	c   467867    184     4869   223358   45    10608    5781   4853   7418 63.07
90.36/90.47	c   472803    184     3927   176676   44     8723    6360   3911   7439 63.55
90.36/90.47	c   480309    183     4950   233893   47    10769    6997   4934   7463 64.35
90.36/90.47	c   491670    183     5666   259627   45    12200    7697   5650   7503 65.53
90.36/90.47	c   508814    182     7202   348310   48    15261    8467   7186   7502 67.82
90.36/90.47	c   534633    182     7304   335482   45    15468    9314   7288   7511 71.18
90.36/90.47	c   573465    182     8436   423357   50    17738   10246   8420   7486 76.60
90.36/90.47	c   631817    182     9886   463212   46    20643   11271   9870   7448 84.83
90.36/90.47	o 95	90.452
91.66/91.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.66/91.70	c   670609    182     8866   409890   46    18716    2932   8850   7413 90.45
91.66/91.70	c   670709    182     1599    72385   45     4055    3226   1583   7411 90.50
91.66/91.70	c   670959    182     1849    82952   44     4531    3549   1833   7412 90.52
91.66/91.70	c   671435    182     2325   102953   44     5500    3904   2309   7415 90.55
91.66/91.70	c   672248    182     3138   139262   44     7136    4295   3122   7419 90.60
91.66/91.70	c   673568    182     2268   100986   44     5383    4725   2252   7424 90.73
91.66/91.70	c   675649    182     4349   191457   44     9558    5198   4333   7434 90.89
91.66/91.70	c   678872    182     4919   218384   44    10688    5718   4903   7446 91.17
91.66/91.70	o 65	91.681
91.66/91.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.66/91.71	c   683748    182     3967   176604   44     8900    2932   3951   7457 91.68
91.66/91.71	o 63	91.69
91.66/91.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.66/91.72	c   683781    182     1533    72089   47     4036    2932   1517   7457 91.69
91.66/91.72	o 62	91.695
91.66/91.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.66/91.76	c   683849    180     1602    76867   47     4284    2928   1586   7457 91.69
91.66/91.76	c   683949    173     1702    82279   48     4475    3221   1686   7458 91.70
91.66/91.76	c   684199    170     1952    96083   49     4974    3544   1936   7458 91.73
91.66/91.76	o 60	91.74
170.85/170.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.85/170.92	c   684327    170     2081   104876   50     5332    2908   2065   7459 91.74
170.85/170.92	c   684427    169     2181   110063   50     5521    3199   2165   7459 91.75
170.85/170.92	c   684677    169     2431   123842   50     6041    3519   2415   7459 91.78
170.85/170.92	c   685152    167     2906   148112   50     6979    3871   2890   7460 91.83
170.85/170.92	c   685966    167     3720   190019   51     8606    4259   3704   7461 91.94
170.85/170.92	c   687286    167     2870   149579   52     6569    4685   2854   7461 92.11
170.85/170.92	c   689368    167     2567   133131   51     5977    5154   2551   7460 92.40
170.85/170.92	c   692591    167     3173   165227   52     7180    5670   3157   7458 92.86
170.85/170.92	c   697527    167     5216   279129   53    11267    6238   5200   7456 93.55
170.85/170.92	c   705035    166     3216   176322   54     7277    6862   3200   7436 94.80
170.85/170.92	c   716396    166     4137   225578   54     9114    7549   4121   7409 96.69
170.85/170.92	c   733541    166     5991   332498   55    12822    8304   5975   7356 99.72
170.85/170.92	c   759360    166     6561   352792   53    13954    9135   6545   7279 104.32
170.85/170.92	c   798192    166     8457   449453   53    17757   10049   8441   7133 111.89
170.85/170.92	c   856544    166     5918   334238   56    12665   11054   5902   6902 124.09
170.85/170.92	c   944176    166     9897   562463   56    20625   12160   9881   6565 143.81
170.85/170.92	o 58	170.891
170.85/170.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.85/170.97	c  1060187    166     9373   539045   57    19683    2900   9357   6203 170.89
170.85/170.97	o 57	170.937
196.85/196.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
196.85/196.91	c  1060277    166     1590    88190   55     4105    2900   1574   6202 170.94
196.85/196.91	c  1060377    166     1690    93651   55     4309    3191   1674   6203 170.94
196.85/196.91	c  1060627    166     1940   107717   55     4814    3511   1924   6203 170.97
196.85/196.91	c  1061102    166     2415   135628   56     5738    3863   2399   6204 171.02
196.85/196.91	c  1061915    166     3228   182117   56     7375    4250   3212   6205 171.11
196.85/196.91	c  1063235    166     2361   130300   55     5554    4676   2345   6207 171.29
196.85/196.91	c  1065316    166     4442   246838   55     9712    5144   4426   6209 171.57
196.85/196.91	c  1068540    166     5036   282855   56    10907    5659   5020   6211 172.04
196.85/196.91	c  1073476    166     4186   235801   56     9198    6225   4170   6209 172.87
196.85/196.91	c  1080983    166     5351   299866   56    11533    6848   5335   6208 174.12
196.85/196.91	c  1092344    166     6279   345038   54    13374    7533   6263   6199 176.19
196.85/196.91	c  1109490    166     4319   241137   55     9475    8287   4303   6184 179.39
196.85/196.91	c  1135309    166     4970   274057   55    10760    9116   4954   6160 184.30
196.85/196.91	c  1174141    166     6894   380986   55    14627   10028   6878   6124 191.70
196.85/196.91	o 54	196.87
196.85/196.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
196.85/196.96	c  1200502    166     7931   425741   53    16783    2900   7915   6097 196.87
196.85/196.96	c  1200602    166     1599    85091   53     4031    3191   1583   6097 196.91
196.85/196.96	o 52	196.917
197.14/197.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
197.14/197.22	c  1200720    166     1718    94176   54     4358    2900   1702   6097 196.92
197.14/197.22	c  1200822    166     1820    98930   54     4566    3191   1804   6097 196.93
197.14/197.22	c  1201072    166     2070   111629   53     5060    3511   2054   6098 196.95
197.14/197.22	c  1201547    166     2545   137062   53     6018    3863   2529   6099 197.01
197.14/197.22	c  1202360    166     3358   177094   52     7629    4250   3342   6100 197.11
197.14/197.22	o 51	197.18
263.85/263.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
263.85/263.97	c  1202963    166     3962   208384   52     8942    2900   3946   6100 197.18
263.85/263.97	c  1203063    166     1599    79341   49     4009    3191   1583   6100 197.20
263.85/263.97	c  1203314    166     1850    91601   49     4534    3511   1834   6101 197.22
263.85/263.97	c  1203789    166     2325   115975   49     5485    3863   2309   6102 197.26
263.85/263.97	c  1204602    166     3138   159731   50     7114    4250   3122   6103 197.35
263.85/263.97	c  1205923    166     2275   119291   52     5388    4676   2259   6105 197.50
263.85/263.97	c  1208005    166     4357   227267   52     9551    5144   4341   6108 197.76
263.85/263.97	c  1211229    166     4955   251821   50    10737    5659   4939   6110 198.21
263.85/263.97	c  1216165    166     4139   209448   50     9102    6225   4123   6114 198.90
263.85/263.97	c  1223671    166     5326   281523   52    11481    6848   5310   6117 200.03
263.85/263.97	c  1235032    166     6274   335166   53    13387    7533   6258   6117 201.88
263.85/263.97	c  1252176    166     4325   221902   51     9470    8287   4309   6114 204.78
263.85/263.97	c  1277995    166     4964   262802   52    10757    9116   4948   6106 209.27
263.85/263.97	c  1316827    166     6942   360572   51    14669   10028   6926   6073 216.80
263.85/263.97	c  1375179    166     9587   527338   55    20009   11031   9571   6025 228.24
263.85/263.97	c  1462811    166     8166   452449   55    17158   12135   8150   5930 246.67
263.85/263.97	o 49	263.915
266.54/266.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
266.54/266.67	c  1535805    166     7716   430883   55    16360    2900   7700   5819 263.92
266.54/266.67	c  1535905    166     1599    88458   55     4037    3191   1583   5818 263.95
266.54/266.67	c  1536156    166     1850   100994   54     4530    3511   1834   5819 263.98
266.54/266.67	c  1536631    166     2325   126663   54     5478    3863   2309   5819 264.04
266.54/266.67	c  1537444    166     3138   169864   54     7113    4250   3122   5820 264.15
266.54/266.67	c  1538764    166     2279   117982   51     5388    4676   2263   5821 264.34
266.54/266.67	c  1540845    166     4360   227693   52     9561    5144   4344   5822 264.62
266.54/266.67	c  1544068    166     4960   260360   52    10752    5659   4944   5824 265.12
266.54/266.67	c  1549004    166     4124   222756   54     9073    6225   4108   5826 265.87
266.54/266.67	o 47	266.623
298.94/299.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
298.94/299.04	c  1553514    166     5468   296621   54    11863    2900   5452   5826 266.62
298.94/299.04	c  1553614    166     1599    81593   51     4034    3191   1583   5826 266.65
298.94/299.04	c  1553864    166     1849    97254   52     4520    3511   1833   5826 266.67
298.94/299.04	c  1554339    166     2324   119713   51     5482    3863   2308   5827 266.72
298.94/299.04	c  1555152    166     3137   159022   50     7110    4250   3121   5828 266.80
298.94/299.04	c  1556472    166     2284   109395   47     5408    4676   2268   5830 266.94
298.94/299.04	c  1558553    166     4365   214713   49     9568    5144   4349   5833 267.17
298.94/299.04	c  1561776    166     4955   248684   50    10746    5659   4939   5836 267.57
298.94/299.04	c  1566712    166     4106   204221   49     9039    6225   4090   5842 268.17
298.94/299.04	c  1574218    166     5283   262670   49    11398    6848   5267   5849 269.11
298.94/299.04	c  1585579    166     6231   318333   51    13287    7533   6215   5858 270.65
298.94/299.04	c  1602723    166     4269   217107   50     9364    8287   4253   5864 273.31
298.94/299.04	c  1628542    166     4911   260197   52    10653    9116   4895   5871 277.35
298.94/299.04	c  1667374    166     6834   349360   51    14496   10028   6818   5872 283.94
298.94/299.04	c  1725726    166     9503   510927   53    19822   11031   9487   5855 294.71
298.94/299.04	o 32	298.98
298.94/299.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
298.94/299.08	c  1747818    166     9318   470910   50    19572    2900   9302   5845 298.98
298.94/299.08	o 30	299.02
298.94/299.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
298.94/299.08	c  1747844    163     1526    74564   48     3976    2894   1510   5845 299.02
298.94/299.08	o 28	299.023
1800.09/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.40	c  1747883    163     1566    77309   49     4150    2894   1550   5845 299.02
1800.09/1800.40	c  1747984    158     1667    82606   49     4342    3184   1651   5845 299.03
1800.09/1800.40	c  1748235    155     1918    96497   50     4847    3503   1902   5845 299.06
1800.09/1800.40	c  1748710    151     2393   122629   51     5793    3854   2377   5846 299.12
1800.09/1800.40	c  1749523    150     3206   168878   52     7412    4240   3190   5846 299.23
1800.09/1800.40	c  1750843    150     2357   131724   55     5539    4665   2341   5847 299.44
1800.09/1800.40	c  1752924    150     4438   251990   56     9694    5132   4422   5848 299.75
1800.09/1800.40	c  1756148    150     5049   284721   56    10906    5646   5033   5847 300.30
1800.09/1800.40	c  1761084    150     4215   240284   57     9234    6211   4199   5848 301.10
1800.09/1800.40	c  1768590    150     5408   313710   58    11636    6833   5392   5848 302.41
1800.09/1800.40	c  1779952    150     6352   358402   56    13517    7517   6336   5843 304.62
1800.09/1800.40	c  1797097    150     4436   252158   56     9691    8269   4420   5835 307.96
1800.09/1800.40	c  1822916    150     5147   301052   58    11095    9096   5131   5816 313.38
1800.09/1800.40	c  1861749    150     7183   414458   57    15178   10006   7167   5788 321.62
1800.09/1800.40	c  1920101    150     9953   583857   58    20707   11007   9937   5737 334.66
1800.09/1800.40	c  2007733    150     8691   500658   57    18189   12108   8675   5659 354.76
1800.09/1800.40	c  2139285    150    12027   683397   56    24870   13319  12011   5532 386.65
1800.09/1800.40	c  2336718    150     8145   481607   59    17094   14651   8129   5328 438.56
1800.09/1800.40	c  2632970    150     9341   551667   59    19494   16117   9325   5072 519.04
1800.09/1800.40	c  3077454    150    16049   942113   58    32910   17729  16033   4768 645.44
1800.09/1800.40	c  3744281    150    14356   850266   59    29528   19502  14340   4378 855.09
1800.09/1800.40	c  4744626    150    14957   865205   57    30709   21453  14941   3985 1190.37
1800.09/1800.40	c  6245249    150    13403   787638   58    27631   23599  13387   3611 1729.34
1800.09/1800.40	c Caught signal: 15
1800.09/1800.40	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 x158 x159 -x160 -x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 -x173 x174 -x175 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 x176 
1800.09/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.40	c  316  6440255  48458  6523118    15459   913681  15443   3577 1800.10
1800.09/1800.40	c Objective: 28
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	c Total time: 1800.1 s

Verifier Data 

OK	28

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-3734859-1338701275/watcher-3734859-1338701275 -o /tmp/evaluation-result-3734859-1338701275/solver-3734859-1338701275 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734859-1338701275.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1259
/proc/meminfo: memFree=28679248/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) D 1257 1259 31541 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 336253215 2723840 47 33554432000 134512640 135840783 4291652112 4291650148 5489604 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 665 47 37 325 0 32 0

[startup+0.0229621 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1259
/proc/meminfo: memFree=28679248/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=4816 CPUtime=0.01 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 545 0 0 0 1 0 0 0 20 0 1 0 336253215 4931584 478 33554432000 134512640 135840783 4291652112 4291649952 1692967 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 1204 478 350 325 0 140 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4816

[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1259
/proc/meminfo: memFree=28679248/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=5868 CPUtime=0.09 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 780 0 0 0 9 0 0 0 20 0 1 0 336253215 6008832 713 33554432000 134512640 135840783 4291652112 4291651408 134572600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 1467 713 350 325 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5868

[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1259
/proc/meminfo: memFree=28679248/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=7576 CPUtime=0.29 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 1224 0 0 0 29 0 0 0 20 0 1 0 336253215 7757824 1157 33554432000 134512640 135840783 4291652112 4291651472 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 1894 1157 350 325 0 830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7576

[startup+0.700254 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1259
/proc/meminfo: memFree=28679248/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=8612 CPUtime=0.69 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 1472 0 0 0 69 0 0 0 20 0 1 0 336253215 8818688 1405 33554432000 134512640 135840783 4291652112 4291651472 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 2153 1405 350 325 0 1089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8612

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28675528/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=8616 CPUtime=1.49 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 1472 0 0 0 149 0 0 0 20 0 1 0 336253215 8822784 1405 33554432000 134512640 135840783 4291652112 4291651472 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 2154 1405 350 325 0 1090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8616

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28674908/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=8876 CPUtime=3.09 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 1539 0 0 0 309 0 0 0 20 0 1 0 336253215 9089024 1472 33554432000 134512640 135840783 4291652112 4291651472 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 2219 1472 350 325 0 1155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8876

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28672240/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=11200 CPUtime=6.28 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 2142 0 0 0 628 0 0 0 20 0 1 0 336253215 11468800 2075 33554432000 134512640 135840783 4291652112 4291651408 134572653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 2800 2075 350 325 0 1736 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11200

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28670636/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=11984 CPUtime=12.68 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 2326 0 0 0 1268 0 0 0 20 0 1 0 336253215 12271616 2259 33554432000 134512640 135840783 4291652112 4291650768 134547623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 2996 2259 350 325 0 1932 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11984

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28670568/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=12340 CPUtime=25.48 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 2409 0 0 0 2548 0 0 0 20 0 1 0 336253215 12636160 2339 33554432000 134512640 135840783 4291652112 4291651472 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3085 2339 350 325 0 2021 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12340

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28668148/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=14640 CPUtime=51.07 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 2987 0 0 0 5107 0 0 0 20 0 1 0 336253215 14991360 2916 33554432000 134512640 135840783 4291652112 4291651472 134551079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3660 2916 350 325 0 2596 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14640

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1260
/proc/meminfo: memFree=28668148/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=14460 CPUtime=102.27 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 2988 0 0 0 10227 0 0 0 20 0 1 0 336253215 14807040 2891 33554432000 134512640 135840783 4291652112 4291651420 7214692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3615 2891 350 325 0 2551 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14460

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1263
/proc/meminfo: memFree=28667520/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=15012 CPUtime=162.25 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3109 0 0 0 16225 0 0 0 20 0 1 0 336253215 15372288 3012 33554432000 134512640 135840783 4291652112 4291651424 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3753 3012 350 325 0 2689 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15012

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1264
/proc/meminfo: memFree=28666536/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=15132 CPUtime=222.24 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3175 0 0 0 22224 0 0 0 20 0 1 0 336253215 15495168 3058 33554432000 134512640 135840783 4291652112 4291651424 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3783 3058 350 325 0 2719 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 15132

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1264
/proc/meminfo: memFree=28666412/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=15112 CPUtime=282.24 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3175 0 0 0 28223 1 0 0 20 0 1 0 336253215 15474688 3053 33554432000 134512640 135840783 4291652112 4291651472 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3778 3053 350 325 0 2714 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 15112

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1264
/proc/meminfo: memFree=28666536/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=15112 CPUtime=342.23 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3175 0 0 0 34222 1 0 0 20 0 1 0 336253215 15474688 3053 33554432000 134512640 135840783 4291652112 4291651472 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 3778 3053 350 325 0 2714 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 15112

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1264
/proc/meminfo: memFree=28665420/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=16316 CPUtime=402.22 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3464 0 0 0 40221 1 0 0 20 0 1 0 336253215 16707584 3342 33554432000 134512640 135840783 4291652112 4291651392 1695371 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 4079 3342 350 325 0 3015 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 16316

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1264
/proc/meminfo: memFree=28664116/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=17452 CPUtime=462.21 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 3759 0 0 0 46220 1 0 0 20 0 1 0 336253215 17870848 3636 33554432000 134512640 135840783 4291652112 4291651392 1695310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 4363 3636 350 325 0 3299 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 17452

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1265
/proc/meminfo: memFree=28663060/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=18692 CPUtime=522.2 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4057 0 0 0 52219 1 0 0 20 0 1 0 336253215 19140608 3933 33554432000 134512640 135840783 4291652112 4291651328 1695310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 4673 3933 350 325 0 3609 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 18692

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1265
/proc/meminfo: memFree=28662748/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=18828 CPUtime=582.19 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4109 0 0 0 58218 1 0 0 20 0 1 0 336253215 19279872 3983 33554432000 134512640 135840783 4291652112 4291651184 1690348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 4707 3983 350 325 0 3643 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 18828

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1269
/proc/meminfo: memFree=28659768/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=20388 CPUtime=822.14 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4489 0 0 0 82213 1 0 0 20 0 1 0 336253215 20877312 4359 33554432000 134512640 135840783 4291652112 4291651536 134546114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5097 4359 350 325 0 4033 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 20388

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1269
/proc/meminfo: memFree=28658652/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21592 CPUtime=882.13 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4798 0 0 0 88212 1 0 0 20 0 1 0 336253215 22110208 4664 33554432000 134512640 135840783 4291652112 4291651424 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5398 4664 350 325 0 4334 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 21592

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1269
/proc/meminfo: memFree=28658652/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21660 CPUtime=942.12 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4824 0 0 0 94211 1 0 0 20 0 1 0 336253215 22179840 4690 33554432000 134512640 135840783 4291652112 4291651536 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5415 4690 350 325 0 4351 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 21660

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 1269
/proc/meminfo: memFree=28658652/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21684 CPUtime=1002.11 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4829 0 0 0 100210 1 0 0 20 0 1 0 336253215 22204416 4695 33554432000 134512640 135840783 4291652112 4291651424 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5421 4695 350 325 0 4357 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 21684

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1269
/proc/meminfo: memFree=28658652/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21684 CPUtime=1062.1 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4829 0 0 0 106209 1 0 0 20 0 1 0 336253215 22204416 4695 33554432000 134512640 135840783 4291652112 4291651472 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5421 4695 350 325 0 4357 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 21684

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1270
/proc/meminfo: memFree=28658900/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21656 CPUtime=1122.09 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4829 0 0 0 112208 1 0 0 20 0 1 0 336253215 22175744 4690 33554432000 134512640 135840783 4291652112 4291651424 134550826 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5414 4690 350 325 0 4350 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 21656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1270
/proc/meminfo: memFree=28658652/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=21920 CPUtime=1182.08 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 4890 0 0 0 118207 1 0 0 20 0 1 0 336253215 22446080 4751 33554432000 134512640 135840783 4291652112 4291651472 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5480 4751 350 325 0 4416 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 21920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1309
/proc/meminfo: memFree=28668768/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23304 CPUtime=1242.08 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5276 0 0 0 124206 2 0 0 20 0 1 0 336253215 23863296 5099 33554432000 134512640 135840783 4291652112 4291651424 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5826 5099 350 325 0 4762 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 23304

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1309
/proc/meminfo: memFree=28668520/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23372 CPUtime=1302.07 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5295 0 0 0 130205 2 0 0 20 0 1 0 336253215 23932928 5116 33554432000 134512640 135840783 4291652112 4291651472 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5843 5116 350 325 0 4779 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 23372

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28667396/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23460 CPUtime=1362.06 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5310 0 0 0 136204 2 0 0 20 0 1 0 336253215 24023040 5131 33554432000 134512640 135840783 4291652112 4291651536 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5865 5131 350 325 0 4801 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 23460

[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/176 1352
/proc/meminfo: memFree=28667164/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23584 CPUtime=1422.05 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5349 0 0 0 142203 2 0 0 20 0 1 0 336253215 24150016 5170 33554432000 134512640 135840783 4291652112 4291651408 134571480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5896 5170 350 325 0 4832 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 23584

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1353
/proc/meminfo: memFree=28667032/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23508 CPUtime=1482.04 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5349 0 0 0 148202 2 0 0 20 0 1 0 336253215 24072192 5153 33554432000 134512640 135840783 4291652112 4291651472 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5877 5153 350 325 0 4813 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 23508

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 1353
/proc/meminfo: memFree=28666412/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23464 CPUtime=1542.03 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5352 0 0 0 154201 2 0 0 20 0 1 0 336253215 24027136 5135 33554432000 134512640 135840783 4291652112 4291651472 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5866 5135 350 325 0 4802 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 23464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1353
/proc/meminfo: memFree=28666784/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23744 CPUtime=1602.02 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5429 0 0 0 160200 2 0 0 20 0 1 0 336253215 24313856 5212 33554432000 134512640 135840783 4291652112 4291651472 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5936 5212 350 325 0 4872 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 23744

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1353
/proc/meminfo: memFree=28666164/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23744 CPUtime=1662.01 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5429 0 0 0 166199 2 0 0 20 0 1 0 336253215 24313856 5212 33554432000 134512640 135840783 4291652112 4291651424 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5936 5212 350 325 0 4872 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 23744

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1353
/proc/meminfo: memFree=28666164/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=23648 CPUtime=1722 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5429 0 0 0 172198 2 0 0 20 0 1 0 336253215 24215552 5188 33554432000 134512640 135840783 4291652112 4291651472 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 5912 5188 350 325 0 4848 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 23648

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28663928/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=25252 CPUtime=1781.99 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5831 0 0 0 178197 2 0 0 20 0 1 0 336253215 25858048 5589 33554432000 134512640 135840783 4291652112 4291651472 134551455 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 6313 5589 350 325 0 5249 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 25252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28663928/32873844 swapFree=7112/7112
[pid=1259] ppid=1257 vsize=25380 CPUtime=1800.09 cores=0,2,4,6
/proc/1259/stat : 1259 (bsolo3.0.17) R 1257 1259 31541 0 -1 4202496 5854 0 0 0 180007 2 0 0 20 0 1 0 336253215 25989120 5612 33554432000 134512640 135840783 4291652112 4291651348 1687572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1259/statm: 6345 5612 350 325 0 5281 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 25380

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.08
CPU system time (s): 0.022996
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 25380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.022996
maximum resident set size= 22448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5857
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= 22
involuntary context switches= 1954

runsolver used 3.97939 second user time and 7.79581 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 07:27:55
IDJOB=3734859
IDBENCH=2912
IDSOLVER=2318
FILE ID=node119/3734859-1338701275
RUNJOBID= node119-1338678620-31560
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734859-1338701275/watcher-3734859-1338701275 -o /tmp/evaluation-result-3734859-1338701275/solver-3734859-1338701275 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734859-1338701275.opb            

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1825484973

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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:        28680256 kB
Buffers:          400948 kB
Cached:          2946816 kB
SwapCached:         1936 kB
Active:          1477300 kB
Inactive:        1890284 kB
Active(anon):      15236 kB
Inactive(anon):     6624 kB
Active(file):    1462064 kB
Inactive(file):  1883660 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6632 kB
Writeback:             0 kB
AnonPages:         24452 kB
Mapped:            13124 kB
Shmem:                 0 kB
Slab:             689076 kB
SReclaimable:     131272 kB
SUnreclaim:       557804 kB
KernelStack:        1464 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-03 07:57:58