Trace number 2656628

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 CardSAT94 1798 1798.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
MD5SUM8206de06d2228a9d751f3cf3a6d7aa05
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1791.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5104
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656628-1276615314.opb
0.00/0.00	c File size is 10372 bytes.
0.00/0.00	c Highest Coefficient sum: 5104
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: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 301
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1060   75      310    2120      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1159
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c        0    172       15     1172   78      731    2344      1      0 0.00
0.01/0.07	c      100    172      148    10588   71     1296    2579    134   3125 0.03
0.01/0.07	o 986
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      227    172      330    23382   70     2168    2344    316   3242 0.07
0.01/0.07	o 930
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      246    172      361    25235   69     2404    2344    347   3279 0.07
0.01/0.07	o 922
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      247    172      364    25520   70     2519    2344    350   3249 0.08
0.01/0.07	o 910
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c      253    172      373    26195   70     2639    2344    359   3243 0.08
0.01/0.09	o 908
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c      321    172      476    33172   69     3224    2344    462   3309 0.10
0.01/0.09	o 906
0.01/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.10	c      321    172      477    33284   69     3317    2344    463   3309 0.10
0.01/0.10	o 898
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      322    172      479    33491   69     3417    2344    465   3252 0.10
0.09/0.12	o 894
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      391    172      566    40048   70     3719    2344    552   3078 0.13
0.09/0.13	o 435
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      393    172      571    40421   70     3696    2344    557   3070 0.13
0.09/0.18	c      494    172      698    49793   71     3921    2579    684   3068 0.16
0.09/0.18	o 291
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      568    172      777    53612   68     4106    2344    763   3086 0.18
0.09/0.19	o 289
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      591    172      802    54881   68     4214    2344    788   3110 0.19
0.19/0.20	o 277
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      645    172      860    57371   66     4412    2344    846   3161 0.20
0.19/0.21	o 245
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      671    172      888    58647   66     4579    2344    874   3165 0.21
0.19/0.23	o 243
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c      725    172      947    61666   65     4779    2344    933   3165 0.23
0.29/0.31	c      826    172     1058    67942   64     5019    2579   1044   3189 0.26
0.29/0.31	o 229
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c      978    172     1242    80002   64     5587    2344   1228   3094 0.32
0.29/0.33	o 227
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     1037    172     1312    83740   63     5931    2344   1298   3104 0.33
0.39/0.41	c     1138    172     1426    88792   62     6214    2579   1412   3092 0.37
0.39/0.41	o 226
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c     1253    172     1576    97772   62     6755    2344   1562   3048 0.41
1.69/1.75	c     1353    172     1688   103830   61     7012    2579   1674   3026 0.45
1.69/1.75	c     1603    172     1976   117218   59     7623    2837   1962   2935 0.55
1.69/1.75	c     2079    172     2544   144695   56     8892    3121   2530   2855 0.73
1.69/1.75	c     2892    172     1853    90839   49     4543    3434   1839   2650 1.09
1.69/1.75	c     4212    172     3318   160426   48     7533    3778   3304   2549 1.65
1.69/1.75	o 220
10.79/10.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.83	c     4404    172     3545   171669   48     8104    2344   3531   2516 1.75
10.79/10.83	c     4506    172     1300    59600   45     3313    2579   1286   2511 1.79
10.79/10.83	c     4756    172     1560    68754   44     3842    2837   1546   2558 1.86
10.79/10.83	c     5234    172     2103    95749   45     4945    3121   2089   2601 2.01
10.79/10.83	c     6047    172     2978   128551   43     6703    3434   2964   2673 2.26
10.79/10.83	c     7369    172     2913   140652   48     6646    3778   2899   2613 2.82
10.79/10.83	c     9450    172     3313   156455   47     7650    4156   3299   2665 3.54
10.79/10.83	c    12677    172     2746   121310   44     6282    4572   2732   2647 4.79
10.79/10.83	c    17613    172     3847   187892   48     8604    5030   3833   2512 7.01
10.79/10.83	c    25119    172     4657   200474   43    10120    5534   4643   2535 9.91
10.79/10.83	o 216
11.59/11.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.69	c    27444    172     4428   207036   46     9864    2344   4414   2533 10.83
11.59/11.69	c    27545    172     1301    57604   44     3349    2579   1287   2528 10.89
11.59/11.69	c    27795    172     1580    69679   44     3913    2837   1566   2532 10.98
11.59/11.69	c    28270    172     2100    90656   43     4951    3121   2086   2542 11.12
11.59/11.69	c    29083    172     3045   135716   44     6897    3434   3031   2542 11.44
11.59/11.69	o 203
11.79/11.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.79/11.80	c    29627    172     1903    85512   44     4706    2344   1889   2535 11.69
11.79/11.80	c    29727    172     2025    91154   45     4965    2579   2011   2534 11.73
11.79/11.80	o 202
11.89/11.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.89/11.90	c    29912    172     2233   100314   44     5550    2344   2219   2535 11.80
11.89/11.90	c    30013    172     2348   104997   44     5784    2579   2334   2535 11.84
11.89/11.90	o 198
12.00/12.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.00/12.09	c    30188    172     2562   117776   45     6495    2344   2548   2536 11.90
12.00/12.09	c    30288    172     1291    59653   46     3515    2579   1277   2537 11.94
12.00/12.09	c    30538    172     1550    70414   45     4057    2837   1536   2543 12.01
12.00/12.09	o 192
12.29/12.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.29/12.32	c    30779    172     1826    83854   45     4771    2752   1812   2546 12.09
12.29/12.32	c    30879    172     1943    88596   45     4994    3028   1929   2546 12.12
12.29/12.32	c    31129    172     2226   102303   45     5665    3331   2212   2550 12.21
12.29/12.32	o 187
12.29/12.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.29/12.35	c    31417    172     2566   118983   46     6477    2752   2552   2550 12.32
12.29/12.35	o 185
12.39/12.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.39/12.40	c    31509    172     2671   125818   47     6883    2752   2657   2550 12.35
12.39/12.40	c    31609    172     1391    65533   47     3596    3028   1377   2551 12.39
12.39/12.40	o 179
12.39/12.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.39/12.47	c    31645    172     1432    67753   47     3828    2344   1418   2551 12.40
12.39/12.47	c    31745    172     1547    76062   49     4166    2579   1533   2552 12.44
12.39/12.47	o 119
59.67/59.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.67/59.72	c    31832    172     1646    80002   48     4470    2344   1632   2553 12.47
59.67/59.72	c    31932    172     1760    88234   50     4787    2579   1746   2553 12.51
59.67/59.72	c    32182    170     2042   102237   50     5378    2837   2028   2556 12.59
59.67/59.72	c    32657    168     2535   123314   48     6389    3121   2521   2560 12.76
59.67/59.72	c    33470    167     1773    78014   44     4274    3434   1759   2563 13.05
59.67/59.72	c    34790    166     3121   130188   41     6968    3778   3107   2570 13.54
59.67/59.72	c    36871    166     3320   134586   40     7354    4156   3306   2571 14.34
59.67/59.72	c    40095    165     2402   104555   43     5543    4572   2388   2564 15.63
59.67/59.72	c    45032    164     2828   121659   43     6400    5030   2814   2555 17.62
59.67/59.72	c    52540    163     2867   114792   40     6471    5534   2853   2547 20.63
59.67/59.72	c    63901    163     3439   130318   37     7596    6088   3425   2560 24.95
59.67/59.72	c    81045    163     5726   225623   39    12167    6697   5712   2555 31.72
59.67/59.72	c   106864    163     5141   196866   38    10997    7367   5127   2508 42.59
59.67/59.72	c   145697    161     4322   166176   38     9437    8104   4308   2450 59.45
59.67/59.72	o 117
60.28/60.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.28/60.31	c   146342    161     5058   206672   40    11636    2322   5044   2451 59.71
60.28/60.31	c   146442    161     1296    61678   47     3668    2555   1282   2449 59.78
60.28/60.31	c   146692    161     1573    75462   47     4399    2811   1559   2450 59.87
60.28/60.31	c   147168    161     2066    95611   46     5449    3093   2052   2451 60.03
60.28/60.31	o 116
61.57/61.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.57/61.63	c   147894    160     2831   129075   45     7191    2320   2817   2453 60.29
61.57/61.63	c   147994    160     1294    56035   43     3314    2553   1280   2453 60.33
61.57/61.63	c   148244    160     1549    66879   43     3827    2809   1535   2454 60.40
61.57/61.63	c   148720    160     2057    89036   43     4861    3090   2043   2455 60.56
61.57/61.63	c   149533    160     2923   127674   43     6710    3400   2909   2456 60.87
61.57/61.63	c   150853    160     2551   103602   40     5819    3741   2537   2459 61.34
61.57/61.63	o 105
104.15/104.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
104.15/104.23	c   151523    160     3255   140597   43     7345    2320   3241   2459 61.61
104.15/104.23	c   151623    160     1293    59632   46     3304    2553   1279   2459 61.65
104.15/104.23	c   151873    160     1553    71785   46     3833    2809   1539   2459 61.74
104.15/104.23	c   152348    160     2048    93047   45     4830    3090   2034   2460 61.92
104.15/104.23	c   153161    160     2897   129987   44     6574    3400   2883   2460 62.24
104.15/104.23	c   154481    159     2513   111390   44     5782    3741   2499   2460 62.77
104.15/104.23	c   156562    159     2722   120134   44     6152    4116   2708   2462 63.59
104.15/104.23	c   159785    159     3929   151578   38     8552    4528   3915   2465 64.81
104.15/104.23	c   164722    159     4389   173515   39     9469    4981   4375   2474 66.58
104.15/104.23	c   172228    159     4453   179494   40     9606    5480   4439   2485 69.30
104.15/104.23	c   183589    159     4824   182710   37    10350    6029   4810   2498 73.49
104.15/104.23	c   200733    159     4071   168995   41     8831    6632   4057   2490 80.61
104.15/104.23	c   226553    159     3579   151583   42     7855    7296   3565   2479 91.37
104.15/104.23	o 97
111.56/111.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
111.56/111.61	c   256348    158     4536   185122   40     9877    2316   4522   2460 104.20
111.56/111.61	c   256448    158     1295    54142   41     3328    2548   1281   2458 104.31
111.56/111.61	c   256698    158     1553    64627   41     3841    2803   1539   2459 104.39
111.56/111.61	c   257173    158     2035    84145   41     4823    3084   2021   2459 104.56
111.56/111.61	c   257988    158     2936   133896   45     7320    3393   2922   2460 104.85
111.56/111.61	c   259308    158     2548   113567   44     6024    3733   2534   2462 105.32
111.56/111.61	c   261389    158     2801   120422   42     6382    4107   2787   2463 106.11
111.56/111.61	c   264612    158     4006   165229   41     8774    4518   3992   2464 107.37
111.56/111.61	c   269549    158     4396   193245   43     9537    4970   4382   2464 109.39
111.56/111.61	o 95
111.66/111.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
111.66/111.70	c   274548    158     4493   209755   46    10786    2316   4479   2460 111.58
111.66/111.70	c   274648    158     1289    59111   45     3706    2548   1275   2459 111.65
111.66/111.70	o 94
1797.97/1798.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.53	c   274703    158     1352    63113   46     4030    2316   1338   2459 111.67
1797.97/1798.53	c   274803    158     1452    66273   45     4219    2548   1438   2460 111.70
1797.97/1798.53	c   275053    158     1715    76087   44     4752    2803   1701   2460 111.78
1797.97/1798.53	c   275528    158     2214    93766   42     5747    3084   2200   2461 111.92
1797.97/1798.53	c   276342    158     3055   123248   40     7431    3393   3041   2463 112.15
1797.97/1798.53	c   277663    158     2700    97160   35     6101    3733   2686   2467 112.55
1797.97/1798.53	c   279744    158     2953   106241   35     6615    4107   2939   2471 113.19
1797.97/1798.53	c   282968    158     2121    76978   36     4939    4518   2107   2477 114.23
1797.97/1798.53	c   287904    158     2674   103080   38     6049    4970   2660   2486 115.80
1797.97/1798.53	c   295410    158     2851   109835   38     6404    5468   2837   2498 118.25
1797.97/1798.53	c   306771    158     3709   144816   39     8140    6015   3695   2510 122.20
1797.97/1798.53	c   323916    158     3327   142698   42     7376    6617   3313   2517 128.66
1797.97/1798.53	c   349735    158     3345   154406   46     7457    7279   3331   2479 141.05
1797.97/1798.53	c   388568    158     6265   294252   46    13297    8007   6251   2417 160.74
1797.97/1798.53	c   446920    158     6190   275558   44    13213    8808   6176   2385 187.36
1797.97/1798.53	c   534552    158     7863   306232   38    16483    9689   7849   2266 235.86
1797.97/1798.53	c   666104    158     6995   261202   37    14723   10658   6981   2225 299.28
1797.97/1798.53	c   863537    158     8849   330310   37    18384   11724   8835   2221 388.80
1797.97/1798.53	c  1159789    158     9247   372229   40    19204   12897   9233   2162 536.34
1797.97/1798.53	c  1604272    158     7619   315220   41    16042   14187   7605   2035 788.17
1797.97/1798.53	c  2271099    158    13741   515236   37    28185   15606  13727   1910 1188.69
1797.97/1798.53	c Resources Exceeded
1797.97/1798.53	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 
1797.97/1798.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.53	c  126  3208449  62721  3285874    15504   617230  15490   1784 1798.00
1797.97/1798.53	c Objective: 94
1797.97/1798.53	s SATISFIABLE
1797.97/1798.53	c Total time: 1798 s

Verifier Data 

OK	94

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656628-1276615314/watcher-2656628-1276615314 -o /tmp/evaluation-result-2656628-1276615314/solver-2656628-1276615314 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656628-1276615314.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: 0.92 0.98 0.99 2/106 11924
/proc/meminfo: memFree=1703016/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=18604 CPUtime=0
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 2825161 19050496 249 1992294400 134512640 137138936 4292976512 18446744073709551615 134601081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4651 249 192 642 0 4007 0

[startup+0.01576 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 11924
/proc/meminfo: memFree=1703016/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=18604 CPUtime=0.01
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 346 0 0 0 1 0 0 0 25 0 1 0 2825161 19050496 261 1992294400 134512640 137138936 4292976512 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4651 261 192 642 0 4007 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18604

[startup+0.101769 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 11924
/proc/meminfo: memFree=1703016/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=11304 CPUtime=0.09
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 459 0 0 0 9 0 0 0 25 0 1 0 2825161 11575296 374 1992294400 134512640 137138936 4292976512 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 2826 374 192 642 0 2182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304

[startup+0.301789 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 11924
/proc/meminfo: memFree=1703016/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=11936 CPUtime=0.29
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 620 0 0 0 29 0 0 0 25 0 1 0 2825161 12222464 535 1992294400 134512640 137138936 4292976512 18446744073709551615 134618288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 2984 535 192 642 0 2340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11936

[startup+0.700831 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 11924
/proc/meminfo: memFree=1703016/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=12812 CPUtime=0.69
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 863 0 0 0 69 0 0 0 25 0 1 0 2825161 13119488 778 1992294400 134512640 137138936 4292976512 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3203 778 192 642 0 2559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12812

[startup+1.50091 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11925
/proc/meminfo: memFree=1700032/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=13448 CPUtime=1.49
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1004 0 0 0 148 1 0 0 25 0 1 0 2825161 13770752 919 1992294400 134512640 137138936 4292976512 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3362 919 192 642 0 2718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13448

[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11925
/proc/meminfo: memFree=1699908/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=13448 CPUtime=3.09
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1021 0 0 0 308 1 0 0 25 0 1 0 2825161 13770752 936 1992294400 134512640 137138936 4292976512 18446744073709551615 134606604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3362 936 192 642 0 2718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13448

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11925
/proc/meminfo: memFree=1699288/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=13948 CPUtime=6.29
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1140 0 0 0 626 3 0 0 25 0 1 0 2825161 14282752 1055 1992294400 134512640 137138936 4292976512 18446744073709551615 134575202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3487 1055 192 642 0 2843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13948

[startup+12.7011 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 11925
/proc/meminfo: memFree=1698420/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=14576 CPUtime=12.69
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1283 0 0 0 1264 5 0 0 25 0 1 0 2825161 14925824 1198 1992294400 134512640 137138936 4292976512 18446744073709551615 134599718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3644 1198 192 642 0 3000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14576

[startup+25.5014 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11925
/proc/meminfo: memFree=1698296/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=14576 CPUtime=25.49
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1283 0 0 0 2541 8 0 0 25 0 1 0 2825161 14925824 1198 1992294400 134512640 137138936 4292976512 18446744073709551615 134618359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3644 1198 192 642 0 3000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14576

[startup+51.101 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 11925
/proc/meminfo: memFree=1697552/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=15568 CPUtime=51.08
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1529 0 0 0 5089 19 0 0 25 0 1 0 2825161 15941632 1444 1992294400 134512640 137138936 4292976512 18446744073709551615 134618497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3892 1444 192 642 0 3248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15568

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11927
/proc/meminfo: memFree=1697180/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=15764 CPUtime=102.26
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1625 0 0 0 10191 35 0 0 25 0 1 0 2825161 16142336 1492 1992294400 134512640 137138936 4292976512 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 3941 1492 192 642 0 3297 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15764

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11929
/proc/meminfo: memFree=1696436/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=16480 CPUtime=162.24
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 1818 0 0 0 16168 56 0 0 25 0 1 0 2825161 16875520 1685 1992294400 134512640 137138936 4292976512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4120 1685 192 642 0 3476 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16480

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1695568/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=17224 CPUtime=222.23
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2008 0 0 0 22148 75 0 0 25 0 1 0 2825161 17637376 1875 1992294400 134512640 137138936 4292976512 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4306 1875 192 642 0 3662 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17224

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1695320/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=17592 CPUtime=282.21
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2085 0 0 0 28128 93 0 0 25 0 1 0 2825161 18014208 1952 1992294400 134512640 137138936 4292976512 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4398 1952 192 642 0 3754 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17592

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1695320/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=17592 CPUtime=342.19
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2086 0 0 0 34107 112 0 0 25 0 1 0 2825161 18014208 1953 1992294400 134512640 137138936 4292976512 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4398 1953 192 642 0 3754 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 17592

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11935
/proc/meminfo: memFree=1695072/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=17816 CPUtime=402.18
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2164 0 0 0 40087 131 0 0 25 0 1 0 2825161 18243584 2015 1992294400 134512640 137138936 4292976512 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4454 2015 192 642 0 3810 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 17816

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11937
/proc/meminfo: memFree=1694452/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=18392 CPUtime=462.16
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2304 0 0 0 46067 149 0 0 25 0 1 0 2825161 18833408 2155 1992294400 134512640 137138936 4292976512 18446744073709551615 134602915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4598 2155 192 642 0 3954 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 18392

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11939
/proc/meminfo: memFree=1694328/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=18488 CPUtime=522.13
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2328 0 0 0 52048 165 0 0 25 0 1 0 2825161 18931712 2179 1992294400 134512640 137138936 4292976512 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4622 2179 192 642 0 3978 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 18488

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11939
/proc/meminfo: memFree=1693832/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=18868 CPUtime=582.11
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2441 0 0 0 58029 182 0 0 25 0 1 0 2825161 19320832 2292 1992294400 134512640 137138936 4292976512 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4717 2292 192 642 0 4073 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 18868

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11941
/proc/meminfo: memFree=1693460/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=19312 CPUtime=642.11
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2573 0 0 0 64013 198 0 0 25 0 1 0 2825161 19775488 2386 1992294400 134512640 137138936 4292976512 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 4828 2386 192 642 0 4184 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 19312

[startup+702.3 s]

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

/proc/meminfo: memFree=1691724/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=20388 CPUtime=1061.97
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2842 0 0 0 105889 308 0 0 25 0 1 0 2825161 20877312 2655 1992294400 134512640 137138936 4292976512 18446744073709551615 134600126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5097 2655 192 642 0 4453 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 20388

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11958
/proc/meminfo: memFree=1691228/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=20856 CPUtime=1121.96
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2962 0 0 0 111873 323 0 0 25 0 1 0 2825161 21356544 2775 1992294400 134512640 137138936 4292976512 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5214 2775 192 642 0 4570 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 20856

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11958
/proc/meminfo: memFree=1691104/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=20572 CPUtime=1181.94
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 2962 0 0 0 117856 338 0 0 25 0 1 0 2825161 21065728 2719 1992294400 134512640 137138936 4292976512 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5143 2719 192 642 0 4499 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 20572

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11960
/proc/meminfo: memFree=1690856/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21124 CPUtime=1241.92
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3085 0 0 0 123841 351 0 0 25 0 1 0 2825161 21630976 2842 1992294400 134512640 137138936 4292976512 18446744073709551615 136505900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5281 2842 192 642 0 4637 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 21124

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11962
/proc/meminfo: memFree=1690732/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21192 CPUtime=1301.91
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3103 0 0 0 129826 365 0 0 25 0 1 0 2825161 21700608 2860 1992294400 134512640 137138936 4292976512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5298 2860 192 642 0 4654 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 21192

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11964
/proc/meminfo: memFree=1690732/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21176 CPUtime=1361.89
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3103 0 0 0 135809 380 0 0 25 0 1 0 2825161 21684224 2860 1992294400 134512640 137138936 4292976512 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5294 2860 192 642 0 4650 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 21176

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11966
/proc/meminfo: memFree=1690732/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21172 CPUtime=1421.87
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3103 0 0 0 141788 399 0 0 25 0 1 0 2825161 21680128 2860 1992294400 134512640 137138936 4292976512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5293 2860 192 642 0 4649 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 21172

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11966
/proc/meminfo: memFree=1690732/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21160 CPUtime=1481.85
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3103 0 0 0 147772 413 0 0 25 0 1 0 2825161 21667840 2860 1992294400 134512640 137138936 4292976512 18446744073709551615 134544903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5290 2860 192 642 0 4646 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 21160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21340 CPUtime=1541.83
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 153756 427 0 0 25 0 1 0 2825161 21852160 2895 1992294400 134512640 137138936 4292976512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5335 2895 192 642 0 4691 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 21340

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11970
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21324 CPUtime=1601.82
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 159742 440 0 0 25 0 1 0 2825161 21835776 2895 1992294400 134512640 137138936 4292976512 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5331 2895 192 642 0 4687 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 21324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11972
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21256 CPUtime=1661.8
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 165725 455 0 0 25 0 1 0 2825161 21766144 2890 1992294400 134512640 137138936 4292976512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5314 2890 192 642 0 4670 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 21256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11974
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21256 CPUtime=1721.78
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 171708 470 0 0 25 0 1 0 2825161 21766144 2890 1992294400 134512640 137138936 4292976512 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5314 2890 192 642 0 4670 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 21256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11974
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1781.76
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 177691 485 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 21252

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1791.37
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 178650 487 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 21252

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1794.56
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 178969 487 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 21252

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1796.16
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 179128 488 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 21252

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1796.96
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 179207 489 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 21252

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1797.76
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 179287 489 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134572950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 21252

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11976
/proc/meminfo: memFree=1690484/2059040 swapFree=4192956/4192956
[pid=11924] ppid=11922 vsize=21252 CPUtime=1797.97
/proc/11924/stat : 11924 (bsolo_pb10) R 11922 11924 11203 0 -1 4202496 3138 0 0 0 179308 489 0 0 25 0 1 0 2825161 21762048 2889 1992294400 134512640 137138936 4292976512 18446744073709551615 134600282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 5313 2889 192 642 0 4669 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 21252

Child status: 0
Real time (s): 1798.54
CPU time (s): 1798
CPU user time (s): 1793.11
CPU system time (s): 4.89326
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 21340

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

runsolver used 2.83557 second user time and 8.62369 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-15 17:21:54
IDJOB=2656628
IDBENCH=2921
IDSOLVER=1162
FILE ID=node083/2656628-1276615314
PBS_JOBID= 11172272
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05
RANDOM SEED=647413864

node083.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.262
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.52
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.262
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:       1703552 kB
Buffers:         54540 kB
Cached:         161296 kB
SwapCached:          0 kB
Active:         132160 kB
Inactive:       143588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703552 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4036 kB
Writeback:           0 kB
AnonPages:       59780 kB
Mapped:          15600 kB
Slab:            57948 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181144 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= 62548 MiB
End job on node083 at 2010-06-15 17:51:53