Trace number 433525

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, and are wall clock time (not CPU 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.0.17SAT (TO)28 1800.1 1800.72

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 benchmark28
Best CPU time to get the best result obtained on this benchmark1800.1
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 (download as text)

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 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433525-1177960523/instance-433525-1177960523.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.001 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.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    198       16     1354   84      394    2708      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.01	o 1080	0.005
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1482   87      896    2964      1      0 0.01
0.00/0.02	c      100    198      117     9681   82     1095    3261    101   6666 0.01
0.00/0.02	o 907	0.016
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      116    198      134    10969   81     1205    2964    118   7250 0.02
0.00/0.04	c      216    198      234    19490   83     1412    3261    218   7448 0.03
0.00/0.04	o 898	0.041
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      318    198      337    27221   80     1735    2964    321   7756 0.04
0.08/0.09	c      418    198      437    35609   81     1939    3261    421   7600 0.06
0.08/0.09	o 748	0.086
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      619    198      639    52260   81     2368    2964    623   7197 0.09
0.08/0.09	o 695	0.087
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      622    198      643    52631   81     2463    2964    627   7149 0.09
0.08/0.09	o 691	0.088
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      626    198      648    53095   81     2580    2964    632   7113 0.09
0.09/0.10	c      726    198      748    60777   81     2809    3261    732   7048 0.10
0.09/0.10	o 661	0.104
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      727    198      750    60991   81     2903    2964    734   6990 0.10
0.09/0.11	o 657	0.107
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c      744    198      768    62666   81     3056    2964    752   6953 0.11
0.59/0.68	c      844    198      868    70734   81     3218    3261    852   6861 0.12
0.59/0.68	c     1094    198     1118    87369   78     3786    3588   1102   7012 0.16
0.59/0.68	c     1569    198     1593   120250   75     4771    3947   1577   6911 0.23
0.59/0.68	c     2382    198     2406   172829   71     6398    4342   2390   6187 0.39
0.59/0.68	c     3703    198     3727   261039   70     8986    4777   3711   5794 0.64
0.59/0.68	o 643	0.678
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c     3908    198     3933   272721   69     9438    2964   3917   5755 0.68
0.89/0.94	c     4009    198     1600   105431   65     4080    3261   1584   5727 0.70
0.89/0.94	c     4259    198     1850   119911   64     4580    3588   1834   5826 0.73
0.89/0.94	c     4734    198     2325   149368   64     5539    3947   2309   5837 0.81
0.89/0.94	o 574	0.943
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c     5533    198     3125   202171   64     7229    2964   3109   5867 0.94
0.89/0.96	o 549	0.955
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c     5555    198     1522    97097   63     4032    2964   1506   5816 0.95
0.89/0.96	o 471	0.956
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c     5555    198     1523    97225   63     4121    2964   1507   5810 0.96
0.89/0.96	o 469	0.958
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c     5568    198     1537    98617   64     4264    2964   1521   5812 0.96
0.99/1.03	c     5671    198     1640   106139   64     4492    3261   1624   5816 0.97
0.99/1.03	c     5922    198     1891   123336   65     5028    3588   1875   5766 1.03
0.99/1.03	o 466	1.033
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     5945    198     1915   125196   65     5175    2964   1899   5755 1.03
1.19/1.22	c     6045    198     2015   132588   65     5375    3261   1999   5768 1.05
1.19/1.22	c     6297    198     2267   151898   67     5900    3588   2251   5777 1.09
1.19/1.22	c     6772    198     2742   180522   65     6843    3947   2726   5827 1.16
1.19/1.22	o 462	1.224
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     7084    198     3055   205013   67     7548    2964   3039   5787 1.22
1.19/1.24	o 461	1.238
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     7131    198     1547   109084   70     4074    2964   1531   5760 1.24
1.19/1.24	o 449	1.242
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     7157    198     1574   110578   70     4267    2964   1558   5762 1.24
1.19/1.24	o 448	1.243
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     7158    198     1576   110751   70     4375    2964   1560   5758 1.24
1.29/1.32	c     7258    198     1676   119877   71     4596    3261   1660   5755 1.26
1.29/1.32	c     7508    198     1926   136144   70     5078    3588   1910   5788 1.30
1.29/1.32	o 441	1.319
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     7638    198     2057   144435   70     5411    2964   2041   5790 1.32
1.39/1.40	c     7739    198     2158   151558   70     5671    3261   2142   5788 1.34
1.39/1.40	c     7989    198     2408   167878   69     6191    3588   2392   5789 1.38
1.39/1.40	o 382	1.403
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c     8121    198     2541   175658   69     6524    2964   2525   5788 1.40
1.39/1.48	c     8222    198     2642   183167   69     6744    3261   2626   5794 1.42
1.39/1.48	c     8472    198     2892   198172   68     7264    3588   2876   5814 1.46
1.39/1.48	o 367	1.476
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c     8568    198     2989   205298   68     7531    2964   2973   5804 1.48
1.59/1.68	c     8668    198     1599   105872   66     4060    3261   1583   5805 1.49
1.59/1.68	c     8918    198     1849   123260   66     4576    3588   1833   5847 1.52
1.59/1.68	c     9394    198     2325   155023   66     5537    3947   2309   5885 1.60
1.59/1.68	o 357	1.679
1.69/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.70	c     9824    198     2756   187023   67     6482    2964   2740   5851 1.68
1.69/1.70	c     9924    198     2856   191971   67     6701    3261   2840   5851 1.70
1.69/1.70	o 349	1.701
1.69/1.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.73	c     9948    198     2881   193869   67     6841    2964   2865   5848 1.70
1.69/1.73	c    10049    198     1499   100121   66     3883    3261   1483   5835 1.72
1.69/1.73	o 345	1.731
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c    10109    198     1560   104105   66     4085    2964   1544   5839 1.73
1.69/1.77	c    10209    198     1660   109241   65     4322    3261   1644   5850 1.75
1.69/1.77	o 341	1.767
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c    10331    198     1783   117766   66     4647    2964   1767   5843 1.77
1.79/1.81	c    10431    198     1883   122867   65     4888    3261   1867   5850 1.78
1.79/1.81	o 339	1.809
1.99/2.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.01	c    10579    198     2032   134853   66     5306    2964   2016   5844 1.81
1.99/2.01	c    10679    198     2132   139681   65     5498    3261   2116   5851 1.82
1.99/2.01	c    10929    198     2382   158388   66     5983    3588   2366   5847 1.87
1.99/2.01	c    11404    198     2857   188040   65     6941    3947   2841   5848 1.95
1.99/2.01	o 337	2.011
2.10/2.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.18	c    11638    198     3092   207207   67     7533    2964   3076   5787 2.01
2.10/2.18	c    11738    198     1599   104802   65     4061    3261   1583   5782 2.03
2.10/2.18	c    11988    198     1849   121064   65     4561    3588   1833   5805 2.06
2.10/2.18	c    12463    198     2324   154713   66     5529    3947   2308   5845 2.13
2.10/2.18	o 335	2.177
2.39/2.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.43	c    12836    198     2698   177884   65     6385    2964   2682   5893 2.18
2.39/2.43	c    12936    198     2798   182824   65     6595    3261   2782   5906 2.19
2.39/2.43	c    13186    198     3048   198705   65     7072    3588   3032   5934 2.22
2.39/2.43	c    13661    198     3523   231121   65     8050    3947   3507   5952 2.29
2.39/2.43	o 294	2.432
2.69/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.76	c    14404    198     2239   143580   64     5471    2964   2223   5922 2.43
2.69/2.76	c    14504    198     2339   148823   63     5663    3261   2323   5929 2.45
2.69/2.76	c    14754    198     2589   163670   63     6177    3588   2573   5927 2.49
2.69/2.76	c    15232    198     3067   193790   63     7127    3947   3051   5959 2.56
2.69/2.76	c    16045    198     3880   241231   62     8776    4342   3864   5978 2.68
2.69/2.76	o 285	2.763
2.89/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.90	c    16514    198     4350   274963   63     9826    2964   4334   5976 2.76
2.89/2.90	c    16615    198     1600   102000   63     4062    3261   1584   5965 2.79
2.89/2.90	c    16866    198     1851   118361   63     4593    3588   1835   5985 2.82
2.89/2.90	c    17341    198     2326   147112   63     5528    3947   2310   6023 2.88
2.89/2.90	o 272	2.902
3.09/3.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.15	c    17494    198     2480   156971   63     5951    2964   2464   6028 2.90
3.09/3.15	c    17594    198     2580   162910   63     6157    3261   2564   6033 2.92
3.09/3.15	c    17844    198     2830   173698   61     6650    3588   2814   6063 2.94
3.09/3.15	c    18319    198     3305   204933   62     7612    3947   3289   6063 3.02
3.09/3.15	o 262	3.152
3.09/3.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.16	c    19059    198     1993   116466   58     5003    2964   1977   6046 3.15
3.09/3.16	o 234	3.155
3.09/3.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.16	c    19070    198     2005   117144   58     5142    2964   1989   6042 3.16
3.09/3.16	o 228	3.156
3.09/3.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.16	c    19071    198     2007   117362   58     5264    2964   1991   6042 3.16
3.09/3.16	o 226	3.159
3.09/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.19	c    19081    198     2018   118242   58     5415    2964   2002   6040 3.16
3.09/3.19	c    19181    198     2118   123390   58     5629    3261   2102   6035 3.18
3.09/3.19	o 224	3.194
16.68/16.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.68/16.70	c    19257    198     2195   127996   58     5898    2964   2179   6029 3.19
16.68/16.70	c    19358    198     2296   132342   57     6108    3261   2280   6030 3.21
16.68/16.70	c    19609    198     2547   147370   57     6588    3588   2531   6033 3.25
16.68/16.70	c    20084    198     3022   170325   56     7531    3947   3006   6034 3.33
16.68/16.70	c    20899    198     3837   214595   55     9155    4342   3821   6043 3.46
16.68/16.70	c    22219    198     2919   147500   50     6722    4777   2903   6050 3.67
16.68/16.70	c    24300    198     2525   148360   58     5914    5255   2509   5966 4.07
16.68/16.70	c    27523    198     3052   148183   48     6956    5781   3036   5852 4.70
16.68/16.70	c    32459    198     5012   257613   51    10898    6360   4996   5705 5.69
16.68/16.70	c    39965    198     6054   286591   47    12986    6997   6038   5577 7.17
16.68/16.70	c    51326    198     6704   385772   57    14288    7697   6688   4929 10.41
16.68/16.70	c    68470    198     4241   246554   58     9353    8467   4225   4427 15.47
16.68/16.70	o 223	16.696
16.99/17.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.99/17.05	c    72495    198     8267   500224   60    17543    2964   8251   4342 16.70
16.99/17.05	c    72595    198     1599   104733   65     4086    3261   1583   4320 16.80
16.99/17.05	c    72845    198     1849   116819   63     4576    3588   1833   4328 16.83
16.99/17.05	c    73320    198     2324   143783   61     5538    3947   2308   4340 16.89
16.99/17.05	c    74133    198     3137   195314   62     7123    4342   3121   4359 17.01
16.99/17.05	o 213	17.049
16.99/17.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.99/17.07	c    74423    198     3428   208261   60     7848    2964   3412   4364 17.05
16.99/17.07	o 211	17.06
20.68/20.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.68/20.78	c    74441    198     1518    89504   58     4024    2964   1502   4363 17.06
20.68/20.78	c    74541    198     1618    93540   57     4204    3261   1602   4366 17.07
20.68/20.78	c    74791    198     1868   103201   55     4711    3588   1852   4375 17.09
20.68/20.78	c    75267    198     2344   123444   52     5674    3947   2328   4391 17.14
20.68/20.78	c    76080    198     3157   157523   49     7277    4342   3141   4414 17.23
20.68/20.78	c    77401    198     2251   100958   44     5342    4777   2235   4437 17.44
20.68/20.78	c    79482    198     4332   213049   49     9526    5255   4316   4465 17.80
20.68/20.78	c    82706    198     4855   272414   56    10588    5781   4839   4473 18.49
20.68/20.78	c    87642    198     3889   184854   47     8663    6360   3873   4452 19.68
20.68/20.78	o 209	20.768
62.27/62.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.27/62.33	c    93054    198     6074   339421   55    13166    2964   6058   4480 20.77
62.27/62.33	c    93154    198     1599    89724   56     4046    3261   1583   4473 20.82
62.27/62.33	c    93404    198     1849   100428   54     4537    3588   1833   4480 20.85
62.27/62.33	c    93879    198     2324   121560   52     5520    3947   2308   4490 20.90
62.27/62.33	c    94692    198     3137   161786   51     7153    4342   3121   4500 21.04
62.27/62.33	c    96012    198     2236   113306   50     5323    4777   2220   4514 21.27
62.27/62.33	c    98095    198     4319   214376   49     9504    5255   4303   4541 21.60
62.27/62.33	c   101319    198     4851   246940   50    10545    5781   4835   4547 22.28
62.27/62.33	c   106255    198     3891   183256   47     8657    6360   3875   4583 23.18
62.27/62.33	c   113761    198     4942   255870   51    10741    6997   4926   4605 24.70
62.27/62.33	c   125122    198     5600   309747   55    12078    7697   5584   4538 27.57
62.27/62.33	c   142266    198     7099   342637   48    15025    8467   7083   4515 31.51
62.27/62.33	c   168085    198     7111   358914   50    15090    9314   7095   4279 39.27
62.27/62.33	c   206917    198     8193   415465   50    17246   10246   8177   4049 51.10
62.27/62.33	o 175	62.307
120.15/120.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
120.15/120.20	c   235365    198     5550   310756   55    12116    2964   5534   3777 62.31
120.15/120.20	c   235465    198     1599    93033   58     4044    3261   1583   3775 62.36
120.15/120.20	c   235715    198     1849   104275   56     4540    3588   1833   3778 62.38
120.15/120.20	c   236190    198     2324   124313   53     5495    3947   2308   3783 62.43
120.15/120.20	c   237004    198     3138   161499   51     7170    4342   3122   3789 62.55
120.15/120.20	c   238324    198     2216   106214   47     5321    4777   2200   3795 62.79
120.15/120.20	c   240405    198     4297   209938   48     9440    5255   4281   3805 63.18
120.15/120.20	c   243628    198     4853   229821   47    10548    5781   4837   3815 63.84
120.15/120.20	c   248565    198     3876   202093   52     8635    6360   3860   3828 64.93
120.15/120.20	c   256071    198     4914   240043   48    10669    6997   4898   3845 66.59
120.15/120.20	c   267432    198     5574   277072   49    12010    7697   5558   3867 69.16
120.15/120.20	c   284580    198     7093   375749   52    15075    8467   7077   3835 74.19
120.15/120.20	c   310401    198     7140   342878   48    15132    9314   7124   3792 81.84
120.15/120.20	c   349233    198     8292   404846   48    17439   10246   8276   3737 93.45
120.15/120.20	c   407585    198     9649   450158   46    20164   11271   9633   3556 114.61
120.15/120.20	o 173	120.159
120.85/120.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
120.85/120.95	c   421991    198     6980   370402   53    14980    2964   6964   3511 120.16
120.85/120.95	c   422091    198     1599    79045   49     4060    3261   1583   3509 120.26
120.85/120.95	c   422341    198     1849    91889   49     4568    3588   1833   3510 120.29
120.85/120.95	c   422817    198     2325   118891   51     5525    3947   2309   3512 120.36
120.85/120.95	c   423631    198     3139   166835   53     7162    4342   3123   3515 120.50
120.85/120.95	c   424953    198     2227   124570   55     5350    4777   2211   3518 120.76
120.85/120.95	o 169	120.907
125.94/126.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
125.94/126.02	c   425778    198     3053   171963   56     7131    2964   3037   3521 120.91
125.94/126.02	c   425878    198     1599    90593   56     4060    3261   1583   3521 120.93
125.94/126.02	c   426129    198     1850   102966   55     4594    3588   1834   3522 120.97
125.94/126.02	c   426604    198     2325   128742   55     5547    3947   2309   3523 121.06
125.94/126.02	c   427418    198     3139   168919   53     7186    4342   3123   3526 121.19
125.94/126.02	c   428738    198     2235   113424   50     5343    4777   2219   3530 121.45
125.94/126.02	c   430821    198     4318   229570   53     9520    5255   4302   3535 121.86
125.94/126.02	c   434044    198     4836   283174   58    10566    5781   4820   3542 122.53
125.94/126.02	c   438980    198     3869   215425   55     8627    6360   3853   3545 123.80
125.94/126.02	c   446486    198     4860   275536   56    10615    6997   4844   3548 125.83
125.94/126.02	o 166	125.973
126.04/126.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
126.04/126.17	c   447185    198     5560   310684   55    12138    2964   5544   3549 125.97
126.04/126.17	c   447285    198     1599    85277   53     4074    3261   1583   3548 126.04
126.04/126.17	c   447535    198     1849    98479   53     4592    3588   1833   3549 126.08
126.04/126.17	o 164	126.128
126.94/127.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
126.94/127.08	c   447825    198     2140   118510   55     5298    2964   2124   3550 126.13
126.94/127.08	c   447925    198     2240   122680   54     5452    3261   2224   3550 126.14
126.94/127.08	c   448175    198     2490   134915   54     5968    3588   2474   3551 126.18
126.94/127.08	c   448650    198     2965   156507   52     6912    3947   2949   3553 126.26
126.94/127.08	c   449464    198     3779   197095   52     8563    4342   3763   3555 126.40
126.94/127.08	c   450785    198     2884   149003   51     6626    4777   2868   3560 126.62
126.94/127.08	c   452866    198     2520   125014   49     5920    5255   2504   3565 127.01
126.94/127.08	o 155	127.041
127.04/127.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.04/127.10	c   453106    198     2761   137653   49     6531    2964   2745   3566 127.04
127.04/127.10	c   453206    198     2861   141474   49     6709    3261   2845   3567 127.05
127.04/127.10	o 153	127.058
127.14/127.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.14/127.21	c   453233    198     2889   143625   49     6917    2964   2873   3567 127.06
127.14/127.21	c   453333    198     1499    72778   48     3856    3261   1483   3567 127.08
127.14/127.21	c   453585    198     1751    87350   49     4391    3588   1735   3568 127.11
127.14/127.21	c   454060    198     2226   109745   49     5328    3947   2210   3570 127.16
127.14/127.21	o 151	127.166
127.34/127.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.34/127.45	c   454086    198     2253   112135   49     5518    2964   2237   3570 127.17
127.34/127.45	c   454186    198     2353   116256   49     5712    3261   2337   3571 127.18
127.34/127.45	c   454436    198     2603   129189   49     6219    3588   2587   3572 127.22
127.34/127.45	c   454911    198     3078   152974   49     7115    3947   3062   3573 127.31
127.34/127.45	o 147	127.403
127.34/127.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.34/127.49	c   455401    198     3569   179230   50     8275    2964   3553   3574 127.40
127.34/127.49	c   455502    198     1600    83635   52     4079    3261   1584   3574 127.43
127.34/127.49	o 146	127.444
128.04/128.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.04/128.20	c   455650    198     1749    92015   52     4509    2964   1733   3575 127.44
128.04/128.20	c   455751    198     1850    95953   51     4684    3261   1834   3575 127.45
128.04/128.20	c   456001    198     2100   116895   55     5213    3588   2084   3576 127.49
128.04/128.20	c   456477    198     2576   140934   54     6164    3947   2560   3578 127.56
128.04/128.20	c   457290    198     3389   184667   54     7784    4342   3373   3580 127.71
128.04/128.20	c   458610    198     2480   133308   53     5851    4777   2464   3583 127.99
128.04/128.20	o 96	128.151
188.73/188.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.73/188.89	c   459604    198     3475   194618   56     7965    2964   3459   3586 128.15
188.73/188.89	c   459704    192     1599    89978   56     4055    3261   1583   3586 128.18
188.73/188.89	c   459954    187     1849   100089   54     4563    3588   1833   3587 128.21
188.73/188.89	c   460429    186     2324   121149   52     5521    3947   2308   3589 128.27
188.73/188.89	c   461242    186     3137   157891   50     7148    4342   3121   3592 128.39
188.73/188.89	c   462562    185     2233   100700   45     5337    4777   2217   3595 128.63
188.73/188.89	c   464644    185     4315   195257   45     9498    5255   4299   3602 128.99
188.73/188.89	c   467867    184     4869   223358   45    10608    5781   4853   3609 129.61
188.73/188.89	c   472803    184     3927   176676   44     8723    6360   3911   3621 130.57
188.73/188.89	c   480309    183     4950   233893   47    10769    6997   4934   3635 132.11
188.73/188.89	c   491670    183     5666   259627   45    12200    7697   5650   3656 134.45
188.73/188.89	c   508814    182     7202   348310   48    15261    8467   7186   3656 139.16
188.73/188.89	c   534633    182     7304   335482   45    15468    9314   7288   3656 146.21
188.73/188.89	c   573465    182     8436   423357   50    17738   10246   8420   3634 157.78
188.73/188.89	c   631817    182     9886   463212   46    20643   11271   9870   3590 175.97
188.73/188.89	o 95	188.821
191.12/191.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.12/191.28	c   670609    182     8866   409890   46    18716    2932   8850   3551 188.82
191.12/191.28	c   670709    182     1599    72385   45     4055    3226   1583   3548 189.00
191.12/191.28	c   670959    182     1849    82952   44     4531    3549   1833   3549 189.03
191.12/191.28	c   671435    182     2325   102953   44     5500    3904   2309   3551 189.08
191.12/191.28	c   672248    182     3138   139262   44     7136    4295   3122   3553 189.18
191.12/191.28	c   673568    182     2268   100986   44     5383    4725   2252   3556 189.41
191.12/191.28	c   675649    182     4349   191457   44     9558    5198   4333   3561 189.69
191.12/191.28	c   678872    182     4919   218384   44    10688    5718   4903   3569 190.21
191.12/191.28	o 65	191.208
191.23/191.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.23/191.31	c   683748    182     3967   176604   44     8900    2932   3951   3575 191.21
191.23/191.31	o 63	191.239
191.23/191.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.23/191.32	c   683781    182     1533    72089   47     4036    2932   1517   3575 191.24
191.23/191.32	o 62	191.248
191.23/191.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.23/191.39	c   683849    180     1602    76867   47     4284    2928   1586   3575 191.25
191.23/191.39	c   683949    173     1702    82279   48     4475    3221   1686   3575 191.26
191.23/191.39	c   684199    170     1952    96083   49     4974    3544   1936   3576 191.30
191.23/191.39	o 60	191.324
365.97/366.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
365.97/366.10	c   684327    170     2081   104876   50     5332    2908   2065   3576 191.32
365.97/366.10	c   684427    169     2181   110063   50     5521    3199   2165   3576 191.34
365.97/366.10	c   684677    169     2431   123842   50     6041    3519   2415   3577 191.39
365.97/366.10	c   685152    167     2906   148112   50     6979    3871   2890   3578 191.48
365.97/366.10	c   685966    167     3720   190019   51     8606    4259   3704   3579 191.66
365.97/366.10	c   687286    167     2870   149579   52     6569    4685   2854   3580 191.97
365.97/366.10	c   689368    167     2567   133131   51     5977    5154   2551   3581 192.49
365.97/366.10	c   692591    167     3173   165227   52     7180    5670   3157   3582 193.33
365.97/366.10	c   697527    167     5216   279129   53    11267    6238   5200   3584 194.57
365.97/366.10	c   705035    166     3216   176322   54     7277    6862   3200   3579 196.97
365.97/366.10	c   716396    166     4137   225578   54     9114    7549   4121   3572 200.53
365.97/366.10	c   733541    166     5991   332498   55    12822    8304   5975   3553 206.46
365.97/366.10	c   759360    166     6561   352792   53    13954    9135   6545   3519 215.76
365.97/366.10	c   798192    166     8457   449453   53    17757   10049   8441   3443 231.78
365.97/366.10	c   856544    166     5918   334238   56    12665   11054   5902   3313 258.48
365.97/366.10	c   944176    166     9897   562463   56    20625   12160   9881   3117 302.88
365.97/366.10	o 58	365.974
366.07/366.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
366.07/366.25	c  1060187    166     9373   539045   57    19683    2900   9357   2896 365.97
366.07/366.25	o 57	366.126
417.94/418.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
417.94/418.17	c  1060277    166     1590    88190   55     4105    2900   1574   2895 366.13
417.94/418.17	c  1060377    166     1690    93651   55     4309    3191   1674   2896 366.14
417.94/418.17	c  1060627    166     1940   107717   55     4814    3511   1924   2896 366.18
417.94/418.17	c  1061102    166     2415   135628   56     5738    3863   2399   2897 366.26
417.94/418.17	c  1061915    166     3228   182117   56     7375    4250   3212   2898 366.43
417.94/418.17	c  1063235    166     2361   130300   55     5554    4676   2345   2899 366.76
417.94/418.17	c  1065316    166     4442   246838   55     9712    5144   4426   2900 367.24
417.94/418.17	c  1068540    166     5036   282855   56    10907    5659   5020   2902 368.09
417.94/418.17	c  1073476    166     4186   235801   56     9198    6225   4170   2904 369.64
417.94/418.17	c  1080983    166     5351   299866   56    11533    6848   5335   2906 371.95
417.94/418.17	c  1092344    166     6279   345038   54    13374    7533   6263   2905 375.93
417.94/418.17	c  1109490    166     4319   241137   55     9475    8287   4303   2903 382.10
417.94/418.17	c  1135309    166     4970   274057   55    10760    9116   4954   2896 391.95
417.94/418.17	c  1174141    166     6894   380986   55    14627   10028   6878   2882 407.28
417.94/418.17	o 54	418.023
418.15/418.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
418.15/418.31	c  1200502    166     7931   425741   53    16783    2900   7915   2871 418.02
418.15/418.31	c  1200602    166     1599    85091   53     4031    3191   1583   2871 418.15
418.15/418.31	o 52	418.168
418.54/418.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
418.54/418.76	c  1200720    166     1718    94176   54     4358    2900   1702   2871 418.17
418.54/418.76	c  1200822    166     1820    98930   54     4566    3191   1804   2871 418.19
418.54/418.76	c  1201072    166     2070   111629   53     5060    3511   2054   2871 418.23
418.54/418.76	c  1201547    166     2545   137062   53     6018    3863   2529   2872 418.32
418.54/418.76	c  1202360    166     3358   177094   52     7629    4250   3342   2873 418.49
418.54/418.76	o 51	418.617
562.10/562.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
562.10/562.32	c  1202963    166     3962   208384   52     8942    2900   3946   2873 418.62
562.10/562.32	c  1203063    166     1599    79341   49     4009    3191   1583   2873 418.66
562.10/562.32	c  1203314    166     1850    91601   49     4534    3511   1834   2873 418.70
562.10/562.32	c  1203789    166     2325   115975   49     5485    3863   2309   2874 418.77
562.10/562.32	c  1204602    166     3138   159731   50     7114    4250   3122   2875 418.92
562.10/562.32	c  1205923    166     2275   119291   52     5388    4676   2259   2876 419.20
562.10/562.32	c  1208005    166     4357   227267   52     9551    5144   4341   2878 419.64
562.10/562.32	c  1211229    166     4955   251821   50    10737    5659   4939   2880 420.45
562.10/562.32	c  1216165    166     4139   209448   50     9102    6225   4123   2883 421.70
562.10/562.32	c  1223671    166     5326   281523   52    11481    6848   5310   2887 423.81
562.10/562.32	c  1235032    166     6274   335166   53    13387    7533   6258   2890 427.33
562.10/562.32	c  1252176    166     4325   221902   51     9470    8287   4309   2891 433.07
562.10/562.32	c  1277995    166     4964   262802   52    10757    9116   4948   2890 442.08
562.10/562.32	c  1316827    166     6942   360572   51    14669   10028   6926   2876 457.82
562.10/562.32	c  1375179    166     9587   527338   55    20009   11031   9571   2849 482.63
562.10/562.32	c  1462811    166     8166   452449   55    17158   12135   8150   2794 523.38
562.10/562.32	o 49	562.125
567.10/567.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
567.10/567.32	c  1535805    166     7716   430883   55    16360    2900   7700   2732 562.12
567.10/567.32	c  1535905    166     1599    88458   55     4037    3191   1583   2731 562.26
567.10/567.32	c  1536156    166     1850   100994   54     4530    3511   1834   2731 562.31
567.10/567.32	c  1536631    166     2325   126663   54     5478    3863   2309   2732 562.42
567.10/567.32	c  1537444    166     3138   169864   54     7113    4250   3122   2732 562.60
567.10/567.32	c  1538764    166     2279   117982   51     5388    4676   2263   2733 562.95
567.10/567.32	c  1540845    166     4360   227693   52     9561    5144   4344   2734 563.45
567.10/567.32	c  1544068    166     4960   260360   52    10752    5659   4944   2736 564.35
567.10/567.32	c  1549004    166     4124   222756   54     9073    6225   4108   2738 565.73
567.10/567.32	o 47	567.125
633.67/633.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
633.67/633.93	c  1553514    166     5468   296621   54    11863    2900   5452   2739 567.12
633.67/633.93	c  1553614    166     1599    81593   51     4034    3191   1583   2739 567.20
633.67/633.93	c  1553864    166     1849    97254   52     4520    3511   1833   2739 567.24
633.67/633.93	c  1554339    166     2324   119713   51     5482    3863   2308   2739 567.32
633.67/633.93	c  1555152    166     3137   159022   50     7110    4250   3121   2740 567.46
633.67/633.93	c  1556472    166     2284   109395   47     5408    4676   2268   2741 567.72
633.67/633.93	c  1558553    166     4365   214713   49     9568    5144   4349   2743 568.10
633.67/633.93	c  1561776    166     4955   248684   50    10746    5659   4939   2745 568.84
633.67/633.93	c  1566712    166     4106   204221   49     9039    6225   4090   2748 569.95
633.67/633.93	c  1574218    166     5283   262670   49    11398    6848   5267   2753 571.73
633.67/633.93	c  1585579    166     6231   318333   51    13287    7533   6215   2758 574.70
633.67/633.93	c  1602723    166     4269   217107   50     9364    8287   4253   2763 579.98
633.67/633.93	c  1628542    166     4911   260197   52    10653    9116   4895   2769 588.01
633.67/633.93	c  1667374    166     6834   349360   51    14496   10028   6818   2771 601.57
633.67/633.93	c  1725726    166     9503   510927   53    19822   11031   9487   2764 624.36
633.67/633.93	o 32	633.709
633.77/634.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
633.77/634.08	c  1747818    166     9318   470910   50    19572    2900   9302   2758 633.71
633.77/634.08	o 30	633.862
633.77/634.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
633.77/634.08	c  1747844    163     1526    74564   48     3976    2894   1510   2757 633.86
633.77/634.08	o 28	633.867
1800.08/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.71	c  1747883    163     1566    77309   49     4150    2894   1550   2757 633.87
1800.08/1800.71	c  1747984    158     1667    82606   49     4342    3184   1651   2757 633.88
1800.08/1800.71	c  1748235    155     1918    96497   50     4847    3503   1902   2757 633.93
1800.08/1800.71	c  1748710    151     2393   122629   51     5793    3854   2377   2758 634.03
1800.08/1800.71	c  1749523    150     3206   168878   52     7412    4240   3190   2758 634.22
1800.08/1800.71	c  1750843    150     2357   131724   55     5539    4665   2341   2758 634.61
1800.08/1800.71	c  1752924    150     4438   251990   56     9694    5132   4422   2759 635.13
1800.08/1800.71	c  1756148    150     5049   284721   56    10906    5646   5033   2760 636.15
1800.08/1800.71	c  1761084    150     4215   240284   57     9234    6211   4199   2761 637.64
1800.08/1800.71	c  1768590    150     5408   313710   58    11636    6833   5392   2763 640.09
1800.08/1800.71	c  1779952    150     6352   358402   56    13517    7517   6336   2762 644.35
1800.08/1800.71	c  1797097    150     4436   252158   56     9691    8269   4420   2760 650.96
1800.08/1800.71	c  1822916    150     5147   301052   58    11095    9096   5131   2753 662.06
1800.08/1800.71	c  1861749    150     7183   414458   57    15178   10006   7167   2739 679.54
1800.08/1800.71	c  1920101    150     9953   583857   58    20707   11007   9937   2712 707.83
1800.08/1800.71	c  2007733    150     8691   500658   57    18189   12108   8675   2665 753.11
1800.08/1800.71	c  2139285    150    12027   683397   56    24870   13319  12011   2583 828.01
1800.08/1800.71	c  2336718    150     8145   481607   59    17094   14651   8129   2450 953.75
1800.08/1800.71	c  2632970    150     9341   551667   59    19494   16117   9325   2274 1157.51
1800.08/1800.71	c  3077454    150    16049   942113   58    32910   17729  16033   2065 1489.98
1800.08/1800.71	c Caught signal: 15
1800.08/1800.71	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
1800.08/1800.71	v -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
1800.08/1800.71	v -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
1800.08/1800.71	v -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
1800.08/1800.71	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.08/1800.71	v -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149
1800.08/1800.71	v -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 x158 x159 -x160 -x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 -x173
1800.08/1800.71	v x174 -x175 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197
1800.08/1800.71	v x198 x176
1800.08/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.71	c  313  3432730  43871  3510307    14780   879832  14764   1906 1800.09
1800.08/1800.71	c Objective: 28
1800.08/1800.71	s SATISFIABLE
1800.08/1800.71	c Total time: 1800.09 s

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node3/watcher-433525-1177960523 -o ROOT/results/node3/solver-433525-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 25185
/proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=11752 CPUtime=0
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 272090075 12034048 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545536 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 2938 334 280 324 0 2004 0

[startup+0.0878219 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 25185
/proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=4704 CPUtime=0.08
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 586 0 0 0 8 0 0 0 18 0 1 0 272090075 4816896 552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1176 552 310 324 0 246 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4704

[startup+0.101825 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 25185
/proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=4836 CPUtime=0.09
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 272090075 4952064 578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1209 578 310 324 0 279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4836

[startup+0.301857 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 25185
/proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=6028 CPUtime=0.29
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 924 0 0 0 29 0 0 0 19 0 1 0 272090075 6172672 890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1507 890 310 324 0 577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6028

[startup+0.701921 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 25185
/proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=7980 CPUtime=0.69
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1397 0 0 0 69 0 0 0 23 0 1 0 272090075 8171520 1363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11354254 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1995 1363 310 324 0 1065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7980

[startup+1.50105 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1858192/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=7980 CPUtime=1.49
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1397 0 0 0 149 0 0 0 25 0 1 0 272090075 8171520 1363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1995 1363 310 324 0 1065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7980

[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1857872/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=7984 CPUtime=3.09
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1416 0 0 0 308 1 0 0 25 0 1 0 272090075 8175616 1382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 1996 1382 310 324 0 1066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7984

[startup+6.30183 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1857488/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=8888 CPUtime=6.29
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1633 0 0 0 628 1 0 0 25 0 1 0 272090075 9101312 1599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 2222 1599 310 324 0 1292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8888

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1855440/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=10572 CPUtime=12.69
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2067 0 0 0 1268 1 0 0 25 0 1 0 272090075 10825728 2033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 2643 2033 310 324 0 1713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10572

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1854864/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=11348 CPUtime=25.48
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2251 0 0 0 2547 1 0 0 25 0 1 0 272090075 11620352 2217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 2837 2217 310 324 0 1907 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11348

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1854544/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=11708 CPUtime=51.07
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2331 0 0 0 5106 1 0 0 25 0 1 0 272090075 11988992 2297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 2927 2297 310 324 0 1997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11708

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1852240/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=13960 CPUtime=102.26
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2908 0 0 0 10224 2 0 0 25 0 1 0 272090075 14295040 2874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3490 2874 310 324 0 2560 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13960

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=13500 CPUtime=162.24
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2909 0 0 0 16221 3 0 0 25 0 1 0 272090075 13824000 2767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3375 2767 310 324 0 2445 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13500

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=13460 CPUtime=222.21
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2909 0 0 0 22218 3 0 0 25 0 1 0 272090075 13783040 2757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3365 2757 310 324 0 2435 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 13460

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=13576 CPUtime=282.2
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2934 0 0 0 28216 4 0 0 25 0 1 0 272090075 13901824 2779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3394 2779 310 324 0 2464 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 13576

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851728/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14316 CPUtime=342.18
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3125 0 0 0 34213 5 0 0 25 0 1 0 272090075 14659584 2970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3579 2970 310 324 0 2649 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 14316

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14648 CPUtime=402.15
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 40210 5 0 0 25 0 1 0 272090075 14999552 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3662 3036 310 324 0 2732 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 14648

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14632 CPUtime=462.13
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 46207 6 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3658 3036 310 324 0 2728 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 14632

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14632 CPUtime=522.11
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 52205 6 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3658 3036 310 324 0 2728 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 14632

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14632 CPUtime=582.09
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 58202 7 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3658 3036 310 324 0 2728 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 14632

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1851344/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=14632 CPUtime=642.07
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 64200 7 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3658 3036 310 324 0 2728 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 14632


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1850256/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=15684 CPUtime=881.99
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3454 0 0 0 88189 10 0 0 25 0 1 0 272090075 16060416 3299 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3921 3299 310 324 0 2991 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 15684

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1850192/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=15684 CPUtime=941.97
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3467 0 0 0 94187 10 0 0 25 0 1 0 272090075 16060416 3312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 3921 3312 310 324 0 2991 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 15684

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25186
/proc/meminfo: memFree=1849040/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=16816 CPUtime=1001.95
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3748 0 0 0 100184 11 0 0 25 0 1 0 272090075 17219584 3593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4204 3593 310 324 0 3274 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 16816

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1848912/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=16944 CPUtime=1061.92
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3772 0 0 0 106181 11 0 0 25 0 1 0 272090075 17350656 3617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4236 3617 310 324 0 3306 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 16944

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1848784/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=17104 CPUtime=1121.91
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3807 0 0 0 112179 12 0 0 25 0 1 0 272090075 17514496 3652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4276 3652 310 324 0 3346 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 17104

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847760/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=17996 CPUtime=1181.89
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4045 0 0 0 118176 13 0 0 25 0 1 0 272090075 18427904 3890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4499 3890 310 324 0 3569 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 17996

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847632/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=18124 CPUtime=1241.86
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4077 0 0 0 124173 13 0 0 25 0 1 0 272090075 18558976 3922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4531 3922 310 324 0 3601 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 18124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=18192 CPUtime=1301.85
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 130171 14 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4548 3940 310 324 0 3618 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 18192

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=18192 CPUtime=1361.82
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 136168 14 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4548 3940 310 324 0 3618 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 18192

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847504/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=18192 CPUtime=1421.81
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 142166 15 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4548 3940 310 324 0 3618 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 18192

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=18192 CPUtime=1481.78
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 148163 15 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4548 3940 310 324 0 3618 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 18192

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1846352/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19480 CPUtime=1541.76
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 154160 16 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4870 4251 310 324 0 3940 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 19480

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1846288/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19480 CPUtime=1601.75
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 160158 17 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4870 4251 310 324 0 3940 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 19480

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 25188
/proc/meminfo: memFree=1846352/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19480 CPUtime=1661.72
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 166155 17 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4870 4251 310 324 0 3940 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 19480

[startup+1722.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 25188
/proc/meminfo: memFree=1846096/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19692 CPUtime=1721.71
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4458 0 0 0 172153 18 0 0 25 0 1 0 272090075 20164608 4301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4923 4301 310 324 0 3993 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 19692

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 25188
/proc/meminfo: memFree=1846096/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19644 CPUtime=1781.68
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4458 0 0 0 178150 18 0 0 25 0 1 0 272090075 20115456 4301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4911 4301 310 324 0 3981 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 19644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 25188
/proc/meminfo: memFree=1846032/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19732 CPUtime=1800.08
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4468 0 0 0 179990 18 0 0 25 0 1 0 272090075 20205568 4311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4933 4311 310 324 0 4003 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 19732

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

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

[startup+1800.71 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 25188
/proc/meminfo: memFree=1846032/2055920 swapFree=4139036/4192956
[pid=25185] ppid=25183 vsize=19732 CPUtime=1800.08
/proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4468 0 0 0 179990 18 0 0 25 0 1 0 272090075 20205568 4311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25185/statm: 4933 4311 310 324 0 4003 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 19732

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.9
CPU system time (s): 0.19397
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 19732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4472
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= 12
involuntary context switches= 36842

runsolver used 1.41078 second user time and 3.68644 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Apr 30 19:15:23 UTC 2007

IDJOB= 433525
IDBENCH= 2912
IDSOLVER= 199
FILE ID= node3/433525-1177960523

PBS_JOBID= 4727725

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-433525-1177960523 -o ROOT/results/node3/solver-433525-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0278ee4f163393ac33163ff791a7f96d

RANDOM SEED= 360512966

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.270
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.270
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862896 kB
Buffers:         26804 kB
Cached:          82252 kB
SwapCached:      16744 kB
Active:          42560 kB
Inactive:        89384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862896 kB
SwapTotal:     4192956 kB
SwapFree:      4139036 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          29900 kB
Slab:            46608 kB
Committed_AS:  6285540 kB
PageTables:       1780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node3 on Mon Apr 30 19:45:26 UTC 2007